Skip to content

Actions: adomani/PreCFSG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix link Lean Action CI #113: Commit 8db4273 pushed by adomani
1m 59s master
master
1m 59s
pages build and deployment pages-build-deployment #18: by adomani
36s master
master
36s
link to qed Lean Action CI #112: Commit 7142121 pushed by adomani
1m 59s master
master
1m 59s
pages build and deployment pages-build-deployment #17: by adomani
40s master
master
40s
qed better Lean Action CI #111: Commit f8fda19 pushed by adomani
1m 52s master
master
1m 52s
pages build and deployment pages-build-deployment #16: by adomani
41s master
master
41s
feat: QED (#16) Lean Action CI #110: Commit 6833deb pushed by adomani
2m 13s master
master
2m 13s
pages build and deployment pages-build-deployment #15: by adomani
44s master
master
44s
feat: QED Lean Action CI #109: Pull request #16 synchronize by adomani
2m 1s symptoms_of_ai_code
symptoms_of_ai_code
2m 1s
deviations Lean Action CI #108: Commit 56a5f09 pushed by adomani
2m 14s symptoms_of_ai_code
symptoms_of_ai_code
2m 14s
feat: QED Lean Action CI #107: Pull request #16 opened by adomani
2m 10s symptoms_of_ai_code
symptoms_of_ai_code
2m 10s
rename to qed Lean Action CI #106: Commit 3e4c984 pushed by adomani
1m 47s symptoms_of_ai_code
symptoms_of_ai_code
1m 47s
add tactics Lean Action CI #105: Commit c9c2880 pushed by adomani
1m 43s symptoms_of_ai_code
symptoms_of_ai_code
1m 43s
typo Lean Action CI #104: Commit 2702907 pushed by adomani
1m 44s symptoms_of_ai_code
symptoms_of_ai_code
1m 44s
typo Lean Action CI #103: Commit 1b5301a pushed by adomani
2m 32s symptoms_of_ai_code
symptoms_of_ai_code
2m 32s
revisiting old code Lean Action CI #102: Commit edb2ced pushed by adomani
1m 41s symptoms_of_ai_code
symptoms_of_ai_code
1m 41s
typo Lean Action CI #101: Commit 7da35a0 pushed by adomani
1m 46s symptoms_of_ai_code
symptoms_of_ai_code
1m 46s
generalisation Lean Action CI #100: Commit f6c139b pushed by adomani
2m 32s symptoms_of_ai_code
symptoms_of_ai_code
2m 32s
misformalisations Lean Action CI #99: Commit 6c4a340 pushed by adomani
2m 8s symptoms_of_ai_code
symptoms_of_ai_code
2m 8s
review Lean Action CI #98: Commit d9ffa73 pushed by adomani
2m 13s symptoms_of_ai_code
symptoms_of_ai_code
2m 13s
blueprints Lean Action CI #97: Commit 28af16e pushed by adomani
2m 0s symptoms_of_ai_code
symptoms_of_ai_code
2m 0s
numbers of defs Lean Action CI #96: Commit 66646d0 pushed by adomani
1m 48s symptoms_of_ai_code
symptoms_of_ai_code
1m 48s
reducing lengths of proofs Lean Action CI #95: Commit 4f69359 pushed by adomani
1m 57s symptoms_of_ai_code
symptoms_of_ai_code
1m 57s
Walls of have and nested tactics Lean Action CI #94: Commit 048eb97 pushed by adomani
1m 53s symptoms_of_ai_code
symptoms_of_ai_code
1m 53s
admin: add breakout rooms (#15) Lean Action CI #93: Commit bf114b1 pushed by adomani
2m 2s master
master
2m 2s