Skip to content

Actions: adomani/PreCFSG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add topics Lean Action CI #115: Commit c5119df pushed by adomani
2m 12s maintaining_topics_backup
maintaining_topics_backup
2m 12s
add pdf to backup Lean Action CI #114: Commit 9c83ce8 pushed by adomani
9m 25s maintaining_2_pdf_backup
maintaining_2_pdf_backup
9m 25s
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