Skip to content

Actions: ppedrot/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,203 workflow runs
1,203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove calls to CanOrd in Inductiveops. GitHub macOS CI #1229: Commit ad55e01 pushed by ppedrot
February 3, 2025 17:04 24m 16s reduce-canord
reduce-canord
February 3, 2025 17:04 24m 16s
Remove calls to CanOrd in Inductiveops. Windows CI #1178: Commit ad55e01 pushed by ppedrot
February 3, 2025 17:04 1h 10m 8s reduce-canord
reduce-canord
February 3, 2025 17:04 1h 10m 8s
dummy Windows CI #1177: Commit 6940bf2 pushed by ppedrot
February 3, 2025 13:57 50m 53s backports-9.0
backports-9.0
February 3, 2025 13:57 50m 53s
dummy Check conflicts #2168: Commit 6940bf2 pushed by ppedrot
February 3, 2025 13:57 10s backports-9.0
backports-9.0
February 3, 2025 13:57 10s
dummy GitHub macOS CI #1228: Commit 6940bf2 pushed by ppedrot
February 3, 2025 13:57 20m 49s backports-9.0
backports-9.0
February 3, 2025 13:57 20m 49s
Stop relying on a global visit state in extraction. Check conflicts #2167: Commit 44d62ab pushed by ppedrot
February 3, 2025 13:54 12s extraction-local-visit
extraction-local-visit
February 3, 2025 13:54 12s
Stop relying on a global visit state in extraction. GitHub macOS CI #1227: Commit 44d62ab pushed by ppedrot
February 3, 2025 13:54 23m 29s extraction-local-visit
extraction-local-visit
February 3, 2025 13:54 23m 29s
Stop relying on a global visit state in extraction. Windows CI #1176: Commit 44d62ab pushed by ppedrot
February 3, 2025 13:54 55m 34s extraction-local-visit
extraction-local-visit
February 3, 2025 13:54 55m 34s
Use sets instead of ordered lists in hint stored data. Check conflicts #2166: Commit 0803d68 pushed by ppedrot
February 2, 2025 16:59 9s fast-add-hint-stored-data
fast-add-hint-stored-data
February 2, 2025 16:59 9s
Use sets instead of ordered lists in hint stored data. GitHub macOS CI #1226: Commit 0803d68 pushed by ppedrot
February 2, 2025 16:59 21m 13s fast-add-hint-stored-data
fast-add-hint-stored-data
February 2, 2025 16:59 21m 13s
Use sets instead of ordered lists in hint stored data. Windows CI #1175: Commit 0803d68 pushed by ppedrot
February 2, 2025 16:59 48m 24s fast-add-hint-stored-data
fast-add-hint-stored-data
February 2, 2025 16:59 48m 24s
Rename and tweak Modops.add_module_type. Windows CI #1174: Commit 402b7f1 pushed by ppedrot
February 1, 2025 22:48 1h 2m 55s module-rename-add-module-type
module-rename-add-module-type
February 1, 2025 22:48 1h 2m 55s
Rename and tweak Modops.add_module_type. Check conflicts #2165: Commit 402b7f1 pushed by ppedrot
February 1, 2025 22:48 10s module-rename-add-module-type
module-rename-add-module-type
February 1, 2025 22:48 10s
Rename and tweak Modops.add_module_type. GitHub macOS CI #1225: Commit 402b7f1 pushed by ppedrot
February 1, 2025 22:48 20m 28s module-rename-add-module-type
module-rename-add-module-type
February 1, 2025 22:48 20m 28s
Add overlays. Windows CI #1173: Commit 29aac5d pushed by ppedrot
February 1, 2025 07:42 56m 23s environ-view-serlib
environ-view-serlib
February 1, 2025 07:42 56m 23s
Add overlays. GitHub macOS CI #1224: Commit 29aac5d pushed by ppedrot
February 1, 2025 07:42 20m 34s environ-view-serlib
environ-view-serlib
February 1, 2025 07:42 20m 34s
Add overlays. Check conflicts #2164: Commit 29aac5d pushed by ppedrot
February 1, 2025 07:42 9s environ-view-serlib
environ-view-serlib
February 1, 2025 07:42 9s
Add overlays. Check conflicts #2163: Commit b863d31 pushed by ppedrot
January 31, 2025 17:06 9s environ-view-serlib
environ-view-serlib
January 31, 2025 17:06 9s
Add overlays. GitHub macOS CI #1223: Commit b863d31 pushed by ppedrot
January 31, 2025 17:06 22m 30s environ-view-serlib
environ-view-serlib
January 31, 2025 17:06 22m 30s
Add overlays. Windows CI #1172: Commit b863d31 pushed by ppedrot
January 31, 2025 17:06 1h 5m 17s environ-view-serlib
environ-view-serlib
January 31, 2025 17:06 1h 5m 17s
Stop relying on a global visit state in extraction. GitHub macOS CI #1222: Commit 28f2d4c pushed by ppedrot
January 31, 2025 13:29 22m 35s extraction-local-visit
extraction-local-visit
January 31, 2025 13:29 22m 35s
Stop relying on a global visit state in extraction. Check conflicts #2162: Commit 28f2d4c pushed by ppedrot
January 31, 2025 13:29 14s extraction-local-visit
extraction-local-visit
January 31, 2025 13:29 14s
Stop relying on a global visit state in extraction. Windows CI #1171: Commit 28f2d4c pushed by ppedrot
January 31, 2025 13:29 1h 1m 54s extraction-local-visit
extraction-local-visit
January 31, 2025 13:29 1h 1m 54s
Do not add functor delta-resolvers when strengthening. Check conflicts #2161: Commit cd8ac2d pushed by ppedrot
January 31, 2025 13:08 10s module-delta-resolvers-no-functor-strengthening
module-delta-resolvers-no-functor-strengthening
January 31, 2025 13:08 10s
Do not add functor delta-resolvers when strengthening. Windows CI #1170: Commit cd8ac2d pushed by ppedrot
January 31, 2025 13:08 57m 33s module-delta-resolvers-no-functor-strengthening
module-delta-resolvers-no-functor-strengthening
January 31, 2025 13:08 57m 33s