Skip to content

Actions: ymherklotz/vericert

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make efficient again
CI #115: Commit 2bba481 pushed by ymherklotz
March 3, 2024 16:04 1m 59s 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
January 20, 2024 17:09 1m 53s