Skip to content

Actions: project-numina/LeanGeo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Update README.md Lean 4 CI #31: Commit 9212b89 pushed by Echoscd
14m 9s master
master
14m 9s
Update README.md Lean 4 CI #30: Commit 26e24d8 pushed by Echoscd
13m 23s master
master
13m 23s
Initial commit with all history removed Lean 4 CI #29: Commit 7620f19 pushed by Kouer-www
23m 55s master
master
23m 55s
clean unecessary documents Lean 4 CI #28: Commit a435942 pushed by Echoscd
59m 36s release
release
59m 36s
Update README.md Lean 4 CI #27: Commit b4806fd pushed by Echoscd
1h 6m 0s release
release
1h 6m 0s
Update README.md Lean 4 CI #26: Commit 0b79b94 pushed by Echoscd
1h 4m 11s release
release
1h 4m 11s
update readme Lean 4 CI #25: Commit 9364df4 pushed by Kouer-www
1h 3m 57s release
release
1h 3m 57s
update reademe Lean 4 CI #24: Commit b1b026d pushed by Kouer-www
1h 1m 42s release
release
1h 1m 42s
update UniGeo and README.md Lean 4 CI #23: Commit 4c14306 pushed by Kouer-www
1h 3m 51s release
release
1h 3m 51s
release version Lean 4 CI #22: Commit ce1cbaa pushed by Kouer-www
22m 51s release
release
22m 51s
split actions into ci and docs Lean 4 CI #21: Commit e0a5460 pushed by FrederickPu
45m 4s to415_cleanup
to415_cleanup
45m 4s
fix docgen require Lean 4 CI #20: Commit c0776bc pushed by FrederickPu
2h 19m 58s to415_cleanup
to415_cleanup
2h 19m 58s
upgraded upload-page-artifact again Lean 4 CI #19: Commit 2b8c4be pushed by FrederickPu
44m 52s to415_cleanup
to415_cleanup
44m 52s
upgraded upload-artifact action Lean 4 CI #18: Commit e4f304c pushed by FrederickPu
8s to415_cleanup
to415_cleanup
8s
fixed ci again again Lean 4 CI #17: Commit 495ae33 pushed by FrederickPu
9s to415_cleanup
to415_cleanup
9s
fixed ci again Lean 4 CI #16: Commit 794cf1a pushed by FrederickPu
8s to415_cleanup
to415_cleanup
8s
fixed ci Lean 4 CI #15: Commit a947a1d pushed by FrederickPu
9s to415_cleanup
to415_cleanup
9s
added docs to ci Lean 4 CI #14: Commit 24b050c pushed by FrederickPu
9s to415_cleanup
to415_cleanup
9s
added env template Lean 4 CI #13: Commit 3f91c48 pushed by FrederickPu
44m 23s to415_cleanup
to415_cleanup
44m 23s
added compose docker and instructions Lean 4 CI #12: Commit b12c817 pushed by FrederickPu
43m 11s to415_cleanup
to415_cleanup
43m 11s
updated readme Lean 4 CI #11: Commit d4d1f3a pushed by FrederickPu
43m 22s to415_cleanup
to415_cleanup
43m 22s
rephrase in terms of complex numbers Lean 4 CI #10: Commit dcd30a7 pushed by FrederickPu
5m 48s to415_mathlib
to415_mathlib
5m 48s
added documentation comments for equery Lean 4 CI #9: Commit 8b1c7cd pushed by FrederickPu
43m 39s to415_cleanup
to415_cleanup
43m 39s
improve readme Lean 4 CI #8: Commit 32f8d48 pushed by FrederickPu
43m 41s to415_cleanup
to415_cleanup
43m 41s
cleaned up repo and improved docker and readme Lean 4 CI #7: Commit f725fac pushed by FrederickPu
42m 37s to415_cleanup
to415_cleanup
42m 37s