Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
1,368 workflow run results
1,368 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

avoid level set union in declare GitHub macOS CI #3796: Commit 68f05a5 pushed by SkySkimmer
July 24, 2024 12:43 26m 51s univs-of-constr
univs-of-constr
July 24, 2024 12:43 26m 51s
overlay for open_box instead of open_hovbox GitHub macOS CI #3795: Commit 38338e3 pushed by SkySkimmer
July 24, 2024 11:11 25m 26s open-box
open-box
July 24, 2024 11:11 25m 26s
Bench: system to override opam urls GitHub macOS CI #3794: Commit 4f1992e pushed by SkySkimmer
July 24, 2024 10:45 27m 3s bench-pins
bench-pins
July 24, 2024 10:45 27m 3s
Bench: system to override opam urls GitHub macOS CI #3793: Commit 79eb312 pushed by SkySkimmer
July 24, 2024 10:43 34m 20s bench-pins
bench-pins
July 24, 2024 10:43 34m 20s
Merge PR #19379: Add debug printer for ppcmds to print as a format call GitHub macOS CI #3792: Commit c87f90a pushed by SkySkimmer
July 24, 2024 10:21 31m 2s master
master
July 24, 2024 10:21 31m 2s
test more GitHub macOS CI #3791: Commit 9c7ec49 pushed by SkySkimmer
July 24, 2024 07:38 26m 10s bench-pins
bench-pins
July 24, 2024 07:38 26m 10s
Make the bench easier to run locally GitHub macOS CI #3790: Commit 29c95a3 pushed by SkySkimmer
July 23, 2024 14:04 31m 21s bench-local
bench-local
July 23, 2024 14:04 31m 21s
export OPAMSKIPUPDATE=1 (stop opam from messing with our pin edits) GitHub macOS CI #3789: Commit 8a97c75 pushed by SkySkimmer
July 23, 2024 13:30 30m 45s bench-pins
bench-pins
July 23, 2024 13:30 30m 45s
Fix destruct eqn with univ poly equality GitHub macOS CI #3788: Commit e99a0b7 pushed by SkySkimmer
July 23, 2024 13:10 27m 42s fix-destruct-eqn-poly
fix-destruct-eqn-poly
July 23, 2024 13:10 27m 42s
Rename UState.add_global_univ -> add_forgotten_univ GitHub macOS CI #3787: Commit 6bbb9e5 pushed by SkySkimmer
July 23, 2024 12:59 28m 42s more-demote
more-demote
July 23, 2024 12:59 28m 42s
More generic allocation avoiding in reductionops GitHub macOS CI #3786: Commit 2f94fe5 pushed by SkySkimmer
July 23, 2024 12:49 26m 49s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 26m 49s
More generic allocation avoiding in reductionops GitHub macOS CI #3785: Commit 15dd46c pushed by SkySkimmer
July 23, 2024 12:49 37m 51s careful-whnf-betaiota
careful-whnf-betaiota
July 23, 2024 12:49 37m 51s
Vars.lift_substituend use previous computation to detect closed subterms GitHub macOS CI #3784: Commit 5167ca8 pushed by SkySkimmer
July 23, 2024 12:32 34m 17s lift-with
lift-with
July 23, 2024 12:32 34m 17s
Merge PR #19401: Annotate ocaml deprecations with the coq versions wh… GitHub macOS CI #3783: Commit d515f92 pushed by SkySkimmer
July 23, 2024 11:32 30m 11s master
master
July 23, 2024 11:32 30m 11s
bench render_results remove dead code GitHub macOS CI #3782: Commit 036a5a6 pushed by SkySkimmer
July 22, 2024 14:34 28m 3s bench-no-cycles
bench-no-cycles
July 22, 2024 14:34 28m 3s
Bench: don't print CPU cycles in table GitHub macOS CI #3781: Commit 7c219d8 pushed by SkySkimmer
July 22, 2024 14:32 32m 9s bench-no-cycles
bench-no-cycles
July 22, 2024 14:32 32m 9s
Rename UState.add_global_univ -> add_forgotten_univ GitHub macOS CI #3780: Commit 05db79c pushed by SkySkimmer
July 22, 2024 13:53 29m 25s more-demote
more-demote
July 22, 2024 13:53 29m 25s
Rename Evd.evar_universe_context -> ustate GitHub macOS CI #3779: Commit 6fcbadd pushed by SkySkimmer
July 22, 2024 13:50 27m 45s evd-ustate
evd-ustate
July 22, 2024 13:50 27m 45s
Show Universes print weak above_prop constraints (used by minimization) GitHub macOS CI #3778: Commit 7aa8c15 pushed by SkySkimmer
July 22, 2024 13:35 28m 57s pr-minim-above-prop
pr-minim-above-prop
July 22, 2024 13:35 28m 57s
cache evar expansions GitHub macOS CI #3777: Commit 9365382 pushed by SkySkimmer
July 22, 2024 13:27 31m 36s evc-cache
evc-cache
July 22, 2024 13:27 31m 36s
try switching repo order GitHub macOS CI #3776: Commit 69460ba pushed by SkySkimmer
July 22, 2024 12:51 38m 13s bench-pins
bench-pins
July 22, 2024 12:51 38m 13s
test less GitHub macOS CI #3775: Commit 5d8ae72 pushed by SkySkimmer
July 22, 2024 12:50 32m 50s bench-pins
bench-pins
July 22, 2024 12:50 32m 50s
test less GitHub macOS CI #3774: Commit 93b18b0 pushed by SkySkimmer
July 22, 2024 12:39 32m 19s bench-pins
bench-pins
July 22, 2024 12:39 32m 19s
simpler overriding in bench GitHub macOS CI #3773: Commit f92c9e3 pushed by SkySkimmer
July 22, 2024 12:06 30m 10s bench-pins
bench-pins
July 22, 2024 12:06 30m 10s
record variables used and min lifts for each GitHub macOS CI #3772: Commit 0872020 pushed by SkySkimmer
July 22, 2024 11:20 25m 51s evd-skeleton
evd-skeleton
July 22, 2024 11:20 25m 51s