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

Ltac2 don't print empty backtrace GitHub macOS CI #3569: Commit 91a23d4 pushed by SkySkimmer
June 19, 2024 11:09 36m 50s ltac2-double-backtrace
ltac2-double-backtrace
June 19, 2024 11:09 36m 50s
Guard or annotate exception catchalls according to the linter GitHub macOS CI #3568: Commit 4e9eb0b pushed by SkySkimmer
June 19, 2024 11:08 26m 17s lint-catchall
lint-catchall
June 19, 2024 11:08 26m 17s
Merge PR #19140: Remove "principal" component of Evd.FutureGoal GitHub macOS CI #3567: Commit ca8cde7 pushed by SkySkimmer
June 19, 2024 11:04 27m 24s master
master
June 19, 2024 11:04 27m 24s
Do not allow setting named quality variables above prop GitHub macOS CI #3566: Commit ebef1de pushed by SkySkimmer
June 18, 2024 15:32 33m 20s no-named-above-prop
no-named-above-prop
June 18, 2024 15:32 33m 20s
Fix pretyping of template poly with constraints GitHub macOS CI #3565: Commit 29d1ff5 pushed by SkySkimmer
June 18, 2024 15:17 28m 52s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 15:17 28m 52s
Merge PR #19164: Stop repairing bad relevances in the kernel GitHub macOS CI #3564: Commit 5ea287a pushed by SkySkimmer
June 18, 2024 13:50 34m 42s master
master
June 18, 2024 13:50 34m 42s
pretyping doesn't generate extra template poly constraints GitHub macOS CI #3563: Commit 8824dd2 pushed by SkySkimmer
June 18, 2024 13:42 32m 38s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 13:42 32m 38s
template_universes don't duplicate level data GitHub macOS CI #3562: Commit 8de80f6 pushed by SkySkimmer
June 18, 2024 13:21 27m 41s template-univs-dupl
template-univs-dupl
June 18, 2024 13:21 27m 41s
pretyping doesn't generate extra template poly constraints GitHub macOS CI #3561: Commit 48d4d73 pushed by SkySkimmer
June 18, 2024 13:15 13m 9s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 13:15 13m 9s
pretyping doesn't generate extra template poly constraints GitHub macOS CI #3560: Commit e24fa3f pushed by SkySkimmer
June 18, 2024 13:11 11m 15s template-no-sup-constraint
template-no-sup-constraint
June 18, 2024 13:11 11m 15s
Better boxing in Show Universes normalized constraints GitHub macOS CI #3559: Commit 56551ef pushed by SkySkimmer
June 18, 2024 11:48 30m 13s box-normalized-csts
box-normalized-csts
June 18, 2024 11:48 30m 13s
Merge PR #19149: [notation] Change default levels for easier factoriz… GitHub macOS CI #3558: Commit 763fb02 pushed by SkySkimmer
June 18, 2024 11:19 27m 21s master
master
June 18, 2024 11:19 27m 21s
Merge PR #19143: ci-wrapper: fix OSTYPE = darwin check on systems whi… GitHub macOS CI #3557: Commit 8239006 pushed by SkySkimmer
June 18, 2024 10:42 28m 49s master
master
June 18, 2024 10:42 28m 49s
Guard or annotate exception catchalls according to the linter GitHub macOS CI #3556: Commit 44b86d7 pushed by SkySkimmer
June 17, 2024 14:04 28m 3s lint-catchall
lint-catchall
June 17, 2024 14:04 28m 3s
Merge PR #19207: Fix remember with sort polymorphic equality and va… GitHub macOS CI #3555: Commit 3ee9cc1 pushed by SkySkimmer
June 17, 2024 11:00 27m 9s master
master
June 17, 2024 11:00 27m 9s
Merge PR #19193: [vernacstate] Remove Vernacstate.Parser.t GitHub macOS CI #3554: Commit 4508f0d pushed by SkySkimmer
June 14, 2024 14:27 27m 52s master
master
June 14, 2024 14:27 27m 52s
Stop repairing bad relevances in the kernel GitHub macOS CI #3553: Commit 1833c80 pushed by SkySkimmer
June 14, 2024 14:22 44m 0s good-triumps-when-bad-relevances-are-errors
good-triumps-when-bad-relevances-are-errors
June 14, 2024 14:22 44m 0s
Print extra info after main error message, don't treat backtrace spec… GitHub macOS CI #3552: Commit 7b64a11 pushed by SkySkimmer
June 14, 2024 13:54 30m 58s errors-extra-msg
errors-extra-msg
June 14, 2024 13:54 30m 58s
Ltac2 don't print empty backtrace GitHub macOS CI #3551: Commit df66f8b pushed by SkySkimmer
June 14, 2024 13:50 29m 9s ltac2-double-backtrace
ltac2-double-backtrace
June 14, 2024 13:50 29m 9s
hconstr v4: share terms with identical binders GitHub macOS CI #3550: Commit b1cab1b pushed by SkySkimmer
June 14, 2024 13:03 28m 10s typeops-kaboom
typeops-kaboom
June 14, 2024 13:03 28m 10s
hconstr v4: share terms with identical binders GitHub macOS CI #3549: Commit 338888f pushed by SkySkimmer
June 14, 2024 12:58 27m 33s typeops-kaboom
typeops-kaboom
June 14, 2024 12:58 27m 33s
About: print information about squashing of inductives GitHub macOS CI #3548: Commit df18986 pushed by SkySkimmer
June 14, 2024 12:40 28m 19s about-pp-squash-info
about-pp-squash-info
June 14, 2024 12:40 28m 19s
Fix remember with sort polymorphic equality and values GitHub macOS CI #3547: Commit df84965 pushed by SkySkimmer
June 14, 2024 11:44 26m 31s remember-sortpoly
remember-sortpoly
June 14, 2024 11:44 26m 31s
Merge PR #18973: Add primitive string type. GitHub macOS CI #3546: Commit ef99688 pushed by SkySkimmer
June 14, 2024 11:07 27m 23s master
master
June 14, 2024 11:07 27m 23s
smarter hconsing in hconstr.of_constr GitHub macOS CI #3545: Commit 6108b11 pushed by SkySkimmer
June 12, 2024 15:28 37m 50s typeops-kaboom
typeops-kaboom
June 12, 2024 15:28 37m 50s