Skip to content

Actions: patrick-nicodemus/HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup of ugly code CI #73: Commit 0838185 pushed by patrick-nicodemus
March 4, 2025 06:26 19m 34s patch-3
patch-3
March 4, 2025 06:26 19m 34s
Two small fixes CI #72: Commit 5b2137f pushed by patrick-nicodemus
March 4, 2025 06:10 16m 39s patch-3
patch-3
March 4, 2025 06:10 16m 39s
Update STYLE.md CI #71: Commit 971bbc1 pushed by patrick-nicodemus
March 4, 2025 05:22 18m 55s patch-3
patch-3
March 4, 2025 05:22 18m 55s
Update theories/WildCat/Core.v CI #70: Commit 0c8ce8f pushed by patrick-nicodemus
March 4, 2025 05:16 19m 12s hint_mode
hint_mode
March 4, 2025 05:16 19m 12s
Bundled categories. CI #69: Commit fe5f67a pushed by patrick-nicodemus
March 4, 2025 05:04 19m 9s bundled_cat
bundled_cat
March 4, 2025 05:04 19m 9s
Started drafting packed classes approach CI #68: Commit f76bb03 pushed by patrick-nicodemus
March 3, 2025 19:51 18m 54s packed_classes
packed_classes
March 3, 2025 19:51 18m 54s
Bundled categories. CI #67: Commit 150c763 pushed by patrick-nicodemus
March 3, 2025 19:30 19m 43s bundled_cat
bundled_cat
March 3, 2025 19:30 19m 43s
Bundled categories. CI #66: Commit c76676c pushed by patrick-nicodemus
March 3, 2025 19:14 16m 42s bundled_cat
bundled_cat
March 3, 2025 19:14 16m 42s
Merge pull request #2237 from patrick-nicodemus/patch-2 CI #65: Commit b14f29a pushed by patrick-nicodemus
March 3, 2025 19:12 1m 55s bundled_cat
bundled_cat
March 3, 2025 19:12 1m 55s
Hint Mode IsGraph ! CI #64: Commit 9f6160c pushed by patrick-nicodemus
March 3, 2025 18:22 19m 23s hint_mode
hint_mode
March 3, 2025 18:22 19m 23s
Merge branch 'patch-2' into patch-3 CI #63: Commit 16c51b8 pushed by patrick-nicodemus
March 3, 2025 01:01 19m 8s patch-3
patch-3
March 3, 2025 01:01 19m 8s
Removed all Global Instances from the Classes library CI #62: Commit 3f4692d pushed by patrick-nicodemus
March 3, 2025 00:57 18m 41s patch-2
patch-2
March 3, 2025 00:57 18m 41s
Apply suggestions from code review CI #61: Commit 1a4fa8f pushed by patrick-nicodemus
March 2, 2025 19:19 19m 12s hint_mode
hint_mode
March 2, 2025 19:19 19m 12s
Simpler definition of refine CI #60: Commit 64ee37a pushed by patrick-nicodemus
March 1, 2025 19:59 19m 18s rapply_timing
rapply_timing
March 1, 2025 19:59 19m 18s
Simpler definition of refine CI #59: Commit 92924c4 pushed by patrick-nicodemus
March 1, 2025 19:58 1m 53s rapply_timing
rapply_timing
March 1, 2025 19:58 1m 53s
Simplified definition of rapply CI #58: Commit 1ad1687 pushed by patrick-nicodemus
March 1, 2025 19:45 12m 41s rapply_timing
rapply_timing
March 1, 2025 19:45 12m 41s
Simpler definition of refine CI #57: Commit 4809409 pushed by patrick-nicodemus
March 1, 2025 19:09 5m 40s rapply_timing
rapply_timing
March 1, 2025 19:09 5m 40s
rapply CI #56: Commit 00702bf pushed by patrick-nicodemus
March 1, 2025 18:41 21m 31s rapply_timing
rapply_timing
March 1, 2025 18:41 21m 31s
Merge branch 'HoTT:master' into rapply_v2 CI #55: Commit 16b1074 pushed by patrick-nicodemus
March 1, 2025 17:53 18m 47s rapply_v2
rapply_v2
March 1, 2025 17:53 18m 47s
Hint mode. CI #54: Commit 85063b5 pushed by patrick-nicodemus
March 1, 2025 17:48 19m 54s hint_mode
hint_mode
March 1, 2025 17:48 19m 54s
Hint mode. CI #53: Commit 87c3adf pushed by patrick-nicodemus
March 1, 2025 17:47 2m 8s hint_mode
hint_mode
March 1, 2025 17:47 2m 8s
Hint mode CI #52: Commit 4897236 pushed by patrick-nicodemus
March 1, 2025 17:44 3m 11s hint_mode
hint_mode
March 1, 2025 17:44 3m 11s
Update STYLE.md CI #51: Commit 5da3bea pushed by patrick-nicodemus
February 28, 2025 16:29 18m 56s patch-3
patch-3
February 28, 2025 16:29 18m 56s
Bundled categories CI #50: Commit bc18b48 pushed by patrick-nicodemus
February 28, 2025 15:47 19m 42s bundled_cat
bundled_cat
February 28, 2025 15:47 19m 42s
Bundled categories CI #49: Commit 108d575 pushed by patrick-nicodemus
February 28, 2025 15:44 3m 29s bundled_cat
bundled_cat
February 28, 2025 15:44 3m 29s