Skip to content

Actions: ChrisHughes24/axgroth

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

finish proof Lean Action CI #6: Commit 103c544 pushed by ChrisHughes24
2h 8m 51s master
master
2h 8m 51s
finish except continuous_symm Lean Action CI #5: Commit 65062ef pushed by ChrisHughes24
2h 12m 40s master
master
2h 12m 40s
some progress Lean Action CI #4: Commit 5851221 pushed by ChrisHughes24
2h 7m 32s master
master
2h 7m 32s
almost there Lean Action CI #3: Commit 5342125 pushed by ChrisHughes24
2h 9m 22s master
master
2h 9m 22s
exists_mvRatFunc_inverse Lean Action CI #2: Commit a93b45c pushed by ChrisHughes24
2h 9m 53s master
master
2h 9m 53s
progress Lean Action CI #1: Commit 888c7e8 pushed by ChrisHughes24
2h 14m 47s master
master
2h 14m 47s