Skip to content

Actions: libmath/Munkres

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

... CI #16: Commit f51771b pushed by nguyenvukhang
2m 26s dev
dev
2m 26s
... CI #15: Commit 388e755 pushed by nguyenvukhang
1m 28s dev
dev
1m 28s
Fix all build errors CI #14: Commit c1db023 pushed by nguyenvukhang
3m 9s dev
dev
3m 9s
Update lean version CI #13: Commit 8a20720 pushed by nguyenvukhang
3m 5s dev
dev
3m 5s
Theorem 18.3 CI #12: Commit ca9cc50 pushed by nguyenvukhang
2m 42s dev
dev
2m 42s
Theorem 18.{1,2} CI #11: Commit 17179d6 pushed by nguyenvukhang
3m 22s dev
dev
3m 22s
Theorem 17.* CI #10: Commit 6471fc0 pushed by nguyenvukhang
2m 59s dev
dev
2m 59s
Some stuff on section 17 CI #9: Commit 4c1e9aa pushed by nguyenvukhang
2m 32s main
main
2m 32s
Add monotone subseq CI #8: Commit 33a6bc2 pushed by nguyenvukhang
2m 43s main
main
2m 43s
Try skirting axiom of choice CI #7: Commit 3e67812 pushed by nguyenvukhang
2m 36s dev
dev
2m 36s
Countability Axioms + AccPt CI #6: Commit b45b7dc pushed by nguyenvukhang
2m 11s main
main
2m 11s
Completeness of uniform space CI #5: Commit 7b8912d pushed by nguyenvukhang
2m 47s main
main
2m 47s
Add subtype lemmas CI #4: Commit 0af0a9d pushed by nguyenvukhang
1m 59s main
main
1m 59s
Add subtype lemmas CI #3: Commit ac65b24 pushed by nguyenvukhang
2m 39s main
main
2m 39s
Define metric-related structures CI #2: Commit 05ac9d3 pushed by nguyenvukhang
2m 13s main
main
2m 13s
Define metric-related structures CI #1: Commit 8b2721f pushed by nguyenvukhang
2m 17s main
main
2m 17s
Define metric-related structures Lean Action CI #1: Commit 6445b34 pushed by nguyenvukhang
1m 32s main
main
1m 32s