Skip to content

Actions: ymherklotz/vericert

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2 workflow runs
2 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Make efficient again CI #115: Commit 2bba481 pushed by ymherklotz
March 3, 2024 16:04 1m 59s master
master
March 3, 2024 16:04 1m 59s
Remove some commented Admitted lemmas CI #114: Commit 0a15dc1 pushed by ymherklotz
January 20, 2024 17:09 1m 53s master
master
January 20, 2024 17:09 1m 53s