Skip to content
Pull Request

chore: create a Gemini prover #41526

Sign in to view logs

chore: create a Gemini prover

chore: create a Gemini prover #41526

Triggered via pull request September 18, 2024 13:48
@maramihalimaramihali
synchronize #8622
mm/gemini-prover
Status Success
Total duration 14s
Artifacts –

pull-request.yml

on: pull_request
Validate PR title is Conventional Commit
4s
Validate PR title is Conventional Commit
Fit to window
Zoom out
Zoom in