Skip to content

Actions: Fungus-00/PrimaryLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 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
Complete the proof of completeness theorem Lean Action CI #22: Commit e88ccd8 pushed by Fungus-00
9m 44s main
main
9m 44s
pages build and deployment pages-build-deployment #19: by Fungus-00
1m 5s main
main
1m 5s
Prepare for the proof of completeness theorem Lean Action CI #21: Commit 9a83792 pushed by Fungus-00
10m 7s main
main
10m 7s
pages build and deployment pages-build-deployment #18: by Fungus-00
51s main
main
51s
Finish Structure.satisfies_varMap_inj Lean Action CI #20: Commit c1cab39 pushed by Fungus-00
9m 47s main
main
9m 47s
pages build and deployment pages-build-deployment #17: by Fungus-00
39s main
main
39s
Complete Henkinbaum theorem Lean Action CI #19: Commit 0e89243 pushed by Fungus-00
8m 49s main
main
8m 49s
pages build and deployment pages-build-deployment #16: by Fungus-00
50s main
main
50s
henkin constuct Lean Action CI #18: Commit 5f553b8 pushed by Fungus-00
8m 19s main
main
8m 19s
pages build and deployment pages-build-deployment #15: by Fungus-00
46s main
main
46s
HenkinAdd Lean Action CI #17: Commit 37ecdb0 pushed by Fungus-00
11m 11s main
main
11m 11s
pages build and deployment pages-build-deployment #14: by Fungus-00
1m 0s main
main
1m 0s
Update lean to 4.30.0 Lean Action CI #16: Commit 0aedad5 pushed by Fungus-00
10m 15s main
main
10m 15s
Update lean to 4.30.0 Create Release #2: Commit 0aedad5 pushed by Fungus-00
14s main
main
14s
pages build and deployment pages-build-deployment #13: by Fungus-00
36s main
main
36s
Finish ProofTree.transform Lean Action CI #15: Commit 17d6ee5 pushed by Fungus-00
10m 37s main
main
10m 37s
pages build and deployment pages-build-deployment #12: by Fungus-00
59s main
main
59s
complete ProofTree.map Lean Action CI #14: Commit c848932 pushed by Fungus-00
10m 9s main
main
10m 9s
pages build and deployment pages-build-deployment #11: by Fungus-00
41s main
main
41s
Add environment Lean Action CI #13: Commit b543aa3 pushed by Fungus-00
10m 14s main
main
10m 14s
pages build and deployment pages-build-deployment #10: by Fungus-00
33s main
main
33s
Simplify the definition of Proof Lean Action CI #12: Commit 38b8240 pushed by Fungus-00
10m 51s main
main
10m 51s
pages build and deployment pages-build-deployment #9: by Fungus-00
42s main
main
42s
Completely drop the dependency of AC Lean Action CI #11: Commit 828aed9 pushed by Fungus-00
9m 49s main
main
9m 49s
pages build and deployment pages-build-deployment #8: by Fungus-00
1m 0s main
main
1m 0s