Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,439 workflow run results
4,439 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Factorize Case cases in subst_univs_level_constr (trivial cleanup) Check conflicts #5290: Commit 986e18a pushed by SkySkimmer
July 3, 2024 15:50 13s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:50 13s
Factorize Case cases in subst_univs_level_constr (trivial cleanup) Windows CI #3482: Commit 986e18a pushed by SkySkimmer
July 3, 2024 15:50 1h 11m 18s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:50 1h 11m 18s
Factorize Case cases in subst_univs_level_constr (trivial cleanup) GitHub macOS CI #3644: Commit 986e18a pushed by SkySkimmer
July 3, 2024 15:50 42m 24s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:50 42m 24s
Factorize Case cases in subst_univs_level_constr (trivial cleanup) Check conflicts #5289: Commit 701ad02 pushed by SkySkimmer
July 3, 2024 15:49 11s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:49 11s
Factorize Case cases in subst_univs_level_constr (trivial cleanup) GitHub macOS CI #3643: Commit 701ad02 pushed by SkySkimmer
July 3, 2024 15:49 42m 59s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:49 42m 59s
Factorize Case cases in subst_univs_level_constr (trivial cleanup) Windows CI #3481: Commit 701ad02 pushed by SkySkimmer
July 3, 2024 15:49 42m 1s dupl-case-subst-univs
dupl-case-subst-univs
July 3, 2024 15:49 42m 1s
Add hint of how to enable native compile in config/dune Check conflicts #5288: Commit 1eab205 pushed by SkySkimmer
July 3, 2024 15:41 12s config-hint
config-hint
July 3, 2024 15:41 12s
Add hint of how to enable native compile in config/dune Windows CI #3480: Commit 1eab205 pushed by SkySkimmer
July 3, 2024 15:41 53m 11s config-hint
config-hint
July 3, 2024 15:41 53m 11s
Add hint of how to enable native compile in config/dune GitHub macOS CI #3642: Commit 1eab205 pushed by SkySkimmer
July 3, 2024 15:41 35m 31s config-hint
config-hint
July 3, 2024 15:41 35m 31s
Merge PR #19240: Slightly improve -profile output Check conflicts #5287: Commit 2106e7a pushed by SkySkimmer
July 3, 2024 14:01 12s master
master
July 3, 2024 14:01 12s
Merge PR #19240: Slightly improve -profile output GitHub macOS CI #3641: Commit 2106e7a pushed by SkySkimmer
July 3, 2024 14:01 26m 49s master
master
July 3, 2024 14:01 26m 49s
Merge PR #19240: Slightly improve -profile output Windows CI #3479: Commit 2106e7a pushed by SkySkimmer
July 3, 2024 14:01 1h 2m 46s master
master
July 3, 2024 14:01 1h 2m 46s
Fix exception catchalls Check conflicts #5286: Commit 850478b pushed by SkySkimmer
July 3, 2024 13:59 15s fix-catchalls
fix-catchalls
July 3, 2024 13:59 15s
Fix exception catchalls GitHub macOS CI #3640: Commit 850478b pushed by SkySkimmer
July 3, 2024 13:59 48m 30s fix-catchalls
fix-catchalls
July 3, 2024 13:59 48m 30s
Fix exception catchalls Windows CI #3478: Commit 850478b pushed by SkySkimmer
July 3, 2024 13:59 56m 57s fix-catchalls
fix-catchalls
July 3, 2024 13:59 56m 57s
bench overlay Check conflicts #5285: Commit ffae590 pushed by SkySkimmer
July 3, 2024 13:02 10s qed-private-univs
qed-private-univs
July 3, 2024 13:02 10s
bench overlay GitHub macOS CI #3639: Commit ffae590 pushed by SkySkimmer
July 3, 2024 13:02 13m 36s qed-private-univs
qed-private-univs
July 3, 2024 13:02 13m 36s
bench overlay Windows CI #3477: Commit ffae590 pushed by SkySkimmer
July 3, 2024 13:02 48m 51s qed-private-univs
qed-private-univs
July 3, 2024 13:02 48m 51s
Avoid duplicate hashconsing of kerpairs Check conflicts #5284: Commit 372b097 pushed by SkySkimmer
July 3, 2024 13:00 13s avoid-name-hashcons
avoid-name-hashcons
July 3, 2024 13:00 13s
Avoid duplicate hashconsing of kerpairs Windows CI #3476: Commit 372b097 pushed by SkySkimmer
July 3, 2024 13:00 59m 3s avoid-name-hashcons
avoid-name-hashcons
July 3, 2024 13:00 59m 3s
Avoid duplicate hashconsing of kerpairs GitHub macOS CI #3638: Commit 372b097 pushed by SkySkimmer
July 3, 2024 13:00 44m 2s avoid-name-hashcons
avoid-name-hashcons
July 3, 2024 13:00 44m 2s
Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i… Windows CI #3475: Commit 16e3f49 pushed by SkySkimmer
July 3, 2024 12:08 1h 5m 27s master
master
July 3, 2024 12:08 1h 5m 27s
Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i… GitHub macOS CI #3637: Commit 16e3f49 pushed by SkySkimmer
July 3, 2024 12:08 28m 53s master
master
July 3, 2024 12:08 28m 53s
Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i… Check conflicts #5283: Commit 16e3f49 pushed by SkySkimmer
July 3, 2024 12:08 12s master
master
July 3, 2024 12:08 12s
Kernel: report all undeclared universes not just one GitHub macOS CI #3636: Commit 34f525f pushed by SkySkimmer
July 3, 2024 11:36 26m 26s all-undeclared-univs
all-undeclared-univs
July 3, 2024 11:36 26m 26s