Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
1,406 workflow run results
1,406 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) 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) 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
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 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
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
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
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… 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
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
Merge PR #19166: CoqIDE: Make tabs reorderable and fix preference on … GitHub macOS CI #3635: Commit 72c4ef3 pushed by SkySkimmer
July 3, 2024 11:11 28m 40s master
master
July 3, 2024 11:11 28m 40s
Merge PR #19090: Add support for Admitted on multiple statements GitHub macOS CI #3634: Commit ecc6405 pushed by SkySkimmer
July 2, 2024 15:19 27m 42s master
master
July 2, 2024 15:19 27m 42s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3633: Commit 668276e pushed by SkySkimmer
July 2, 2024 09:42 32m 38s typeops-kaboom
typeops-kaboom
July 2, 2024 09:42 32m 38s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3632: Commit 01ba496 pushed by SkySkimmer
July 2, 2024 09:37 6m 52s typeops-kaboom
typeops-kaboom
July 2, 2024 09:37 6m 52s
Avoid duplicate hashconsing of kerpairs GitHub macOS CI #3631: Commit 76089d6 pushed by SkySkimmer
July 1, 2024 12:42 34m 31s avoid-name-hashcons
avoid-name-hashcons
July 1, 2024 12:42 34m 31s
Merge PR #19293: Codeowners: add flake.lock -> nix maintainers GitHub macOS CI #3630: Commit b4b8f68 pushed by SkySkimmer
July 1, 2024 09:46 28m 6s master
master
July 1, 2024 09:46 28m 6s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3629: Commit 577319a pushed by SkySkimmer
June 29, 2024 10:02 26m 32s typeops-kaboom
typeops-kaboom
June 29, 2024 10:02 26m 32s
Merge PR #19277: Stop sharing universes in interp_context GitHub macOS CI #3628: Commit a9631c8 pushed by SkySkimmer
June 29, 2024 10:02 28m 18s master
master
June 29, 2024 10:02 28m 18s
Codeowners: add flake.lock -> nix maintainers GitHub macOS CI #3627: Commit 906e031 pushed by SkySkimmer
June 28, 2024 14:18 31m 56s own-flake
own-flake
June 28, 2024 14:18 31m 56s
Add test for #19289 GitHub macOS CI #3626: Commit 0465c6d pushed by SkySkimmer
June 28, 2024 14:05 27m 38s test-19289
test-19289
June 28, 2024 14:05 27m 38s
Merge PR #18960: Apply the early check of the universe declaration an… GitHub macOS CI #3625: Commit 8004a03 pushed by SkySkimmer
June 28, 2024 14:04 33m 20s master
master
June 28, 2024 14:04 33m 20s
also use hconstr to hcons Qed bodies GitHub macOS CI #3624: Commit ccbbdd4 pushed by SkySkimmer
June 28, 2024 13:08 35m 20s typeops-kaboom
typeops-kaboom
June 28, 2024 13:08 35m 20s
Avoid calling global_vars_set in constant_typing when not in section GitHub macOS CI #3623: Commit 1c3a7d8 pushed by SkySkimmer
June 28, 2024 13:06 26m 11s avoid-really-needed
avoid-really-needed
June 28, 2024 13:06 26m 11s
also use hconstr to hcons Qed bodies GitHub macOS CI #3622: Commit 2771ad8 pushed by SkySkimmer
June 28, 2024 12:57 14m 13s typeops-kaboom
typeops-kaboom
June 28, 2024 12:57 14m 13s
Merge PR #19237: Stronger invariants in the structure of Declare.proo… GitHub macOS CI #3621: Commit f6fdc81 pushed by SkySkimmer
June 28, 2024 12:32 29m 40s master
master
June 28, 2024 12:32 29m 40s
HConstr: add tree_size debug print GitHub macOS CI #3620: Commit fe1476f pushed by SkySkimmer
June 27, 2024 15:36 33m 32s typeops-kaboom
typeops-kaboom
June 27, 2024 15:36 33m 32s