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

disable asserts in mod_typing (hconsing breaks them) GitHub macOS CI #3544: Commit 46c3610 pushed by SkySkimmer
June 12, 2024 15:06 35m 5s typeops-kaboom
typeops-kaboom
June 12, 2024 15:06 35m 5s
hconstr v6: hcons in hconstr.of_constr GitHub macOS CI #3543: Commit 449b26f pushed by SkySkimmer
June 12, 2024 14:45 19m 42s typeops-kaboom
typeops-kaboom
June 12, 2024 14:45 19m 42s
hcons: remove land 0x3FFFFFFF GitHub macOS CI #3542: Commit 4ae7bbd pushed by SkySkimmer
June 12, 2024 13:39 29m 52s hcons-no-clamp
hcons-no-clamp
June 12, 2024 13:39 29m 52s
hconstr v4: share terms with identical binders GitHub macOS CI #3541: Commit 338888f pushed by SkySkimmer
June 12, 2024 13:02 26m 24s typeops-kaboom
typeops-kaboom
June 12, 2024 13:02 26m 24s
Fix incorrectly flipped implementation of Cumulativity Weak Constraints GitHub macOS CI #3540: Commit 9a56b59 pushed by SkySkimmer
June 12, 2024 12:55 25m 47s weak-constraints-flip
weak-constraints-flip
June 12, 2024 12:55 25m 47s
Fix incorrectly flipped implementation of Cumulativity Weak Constraints GitHub macOS CI #3539: Commit f0acb5c pushed by SkySkimmer
June 12, 2024 12:54 32m 34s weak-constraints-flip
weak-constraints-flip
June 12, 2024 12:54 32m 34s
Merge PR #19102: Ltac2: Avoid double typechecking in exact GitHub macOS CI #3538: Commit b57e3f4 pushed by SkySkimmer
June 11, 2024 14:17 34m 11s master
master
June 11, 2024 14:17 34m 11s
hconstr v5: also share binders from matches (not sure if worth ding) GitHub macOS CI #3537: Commit 502fd91 pushed by SkySkimmer
June 11, 2024 13:46 30m 2s typeops-kaboom
typeops-kaboom
June 11, 2024 13:46 30m 2s
Fail and Succeed are always classified as Query GitHub macOS CI #3536: Commit 554952b pushed by SkySkimmer
June 11, 2024 11:42 29m 2s classify-now
classify-now
June 11, 2024 11:42 29m 2s
Fail and Succeed are always classified as Query GitHub macOS CI #3535: Commit f3f87b7 pushed by SkySkimmer
June 11, 2024 11:38 26m 59s classify-now
classify-now
June 11, 2024 11:38 26m 59s
Merge PR #19194: interp_qed_delayed_proof doesn't need library intern… GitHub macOS CI #3534: Commit ea11254 pushed by SkySkimmer
June 11, 2024 10:47 27m 16s master
master
June 11, 2024 10:47 27m 16s
Ltac2: add a few APIs about uint63 GitHub macOS CI #3533: Commit e56ce92 pushed by SkySkimmer
June 10, 2024 14:23 26m 51s ltac2-uint63
ltac2-uint63
June 10, 2024 14:23 26m 51s
Don't refresh universes when pretyping cast GitHub macOS CI #3532: Commit 3a7376f pushed by SkySkimmer
June 10, 2024 13:55 28m 19s cast-no-refresh
cast-no-refresh
June 10, 2024 13:55 28m 19s
hconstr v4: share terms with identical binders GitHub macOS CI #3531: Commit 338888f pushed by SkySkimmer
June 10, 2024 13:26 38m 32s typeops-kaboom
typeops-kaboom
June 10, 2024 13:26 38m 32s
typing.ml don't produce anomaly when bad relevance warning is AsError GitHub macOS CI #3530: Commit 6eede2f pushed by SkySkimmer
June 10, 2024 13:10 28m 10s typing-anomaly-badrelevance
typing-anomaly-badrelevance
June 10, 2024 13:10 28m 10s
typing.ml don't produce anomaly when bad relevance warning is AsError GitHub macOS CI #3529: Commit 456ba8e pushed by SkySkimmer
June 10, 2024 13:10 27m 51s typing-anomaly-badrelevance
typing-anomaly-badrelevance
June 10, 2024 13:10 27m 51s
interp_qed_delayed_proof doesn't need library internalization GitHub macOS CI #3528: Commit a3d081a pushed by SkySkimmer
June 10, 2024 12:58 29m 0s qed-no-intern
qed-no-intern
June 10, 2024 12:58 29m 0s
Merge PR #19105: Merging the code paths for interactive and non-inter… GitHub macOS CI #3527: Commit f37ff96 pushed by SkySkimmer
June 10, 2024 12:19 35m 0s master
master
June 10, 2024 12:19 35m 0s
Unset is_a_released_version after 8.19.2 GitHub macOS CI #3526: Commit 9dbad65 pushed by SkySkimmer
June 10, 2024 11:18 28m 59s v8.19
v8.19
June 10, 2024 11:18 28m 59s
Update version number for 8.19.2 GitHub macOS CI #3525: Commit d739f8d pushed by SkySkimmer
June 10, 2024 10:35 45m 23s v8.19
v8.19
June 10, 2024 10:35 45m 23s
Merge PR #19192: Change critical bug conversion machine classificatio… GitHub macOS CI #3524: Commit 5b40bec pushed by SkySkimmer
June 10, 2024 10:31 31m 30s master
master
June 10, 2024 10:31 31m 30s
hconstr v3 use int map ref instead of hashtbl GitHub macOS CI #3523: Commit 5792938 pushed by SkySkimmer
June 8, 2024 21:09 27m 18s typeops-kaboom
typeops-kaboom
June 8, 2024 21:09 27m 18s
hconstr v3 use int map ref instead of hashtbl GitHub macOS CI #3522: Commit e043e97 pushed by SkySkimmer
June 8, 2024 21:08 28m 24s typeops-kaboom
typeops-kaboom
June 8, 2024 21:08 28m 24s
hconstr use int map ref instead of hashtbl GitHub macOS CI #3521: Commit 7da7692 pushed by SkySkimmer
June 8, 2024 21:08 26m 43s typeops-kaboom
typeops-kaboom
June 8, 2024 21:08 26m 43s
hconstr v2 GitHub macOS CI #3520: Commit 922d8fb pushed by SkySkimmer
June 7, 2024 20:35 28m 48s typeops-kaboom
typeops-kaboom
June 7, 2024 20:35 28m 48s