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

Fix About info about squashing GitHub macOS CI #3594: Commit 9d8cf66 pushed by SkySkimmer
June 24, 2024 10:54 28m 17s fix-about-squash
fix-about-squash
June 24, 2024 10:54 28m 17s
Merge PR #19142: ci-wrapper: call make-one-time-file directly instead… GitHub macOS CI #3593: Commit 822f40d pushed by SkySkimmer
June 24, 2024 10:48 28m 36s master
master
June 24, 2024 10:48 28m 36s
Filter to actually unsatisfied constraint in error message GitHub macOS CI #3592: Commit 37f4eeb pushed by SkySkimmer
June 23, 2024 18:02 28m 58s filter-unsat-csts
filter-unsat-csts
June 23, 2024 18:02 28m 58s
Stop sharing universes in interp_context GitHub macOS CI #3591: Commit b85120d pushed by SkySkimmer
June 22, 2024 13:41 27m 32s context-no-share
context-no-share
June 22, 2024 13:41 27m 32s
adjust a bit GitHub macOS CI #3590: Commit ab30876 pushed by SkySkimmer
June 21, 2024 14:37 9m 30s newprof-gc-timing
newprof-gc-timing
June 21, 2024 14:37 9m 30s
Merge PR #19247: Fix coqide compilation with lablgtk 3.1.5 on windows GitHub macOS CI #3589: Commit fc7cc13 pushed by SkySkimmer
June 21, 2024 12:22 29m 24s master
master
June 21, 2024 12:22 29m 24s
Merge PR #19249: [CI] Make VST compile its own compcert GitHub macOS CI #3588: Commit 5e19401 pushed by SkySkimmer
June 21, 2024 11:59 32m 17s master
master
June 21, 2024 11:59 32m 17s
Avoid retypechecking repeated subterms in typeops GitHub macOS CI #3587: Commit 31e590b pushed by SkySkimmer
June 20, 2024 13:51 26m 57s typeops-kaboom
typeops-kaboom
June 20, 2024 13:51 26m 57s
dev/db: move external dependency loads earlier GitHub macOS CI #3586: Commit 55d6f39 pushed by SkySkimmer
June 20, 2024 13:40 34m 33s db-memprof
db-memprof
June 20, 2024 13:40 34m 33s
About: print information about squashing of inductives GitHub macOS CI #3585: Commit 92a0590 pushed by SkySkimmer
June 20, 2024 13:16 29m 51s about-pp-squash-info
about-pp-squash-info
June 20, 2024 13:16 29m 51s
Avoid retypechecking repeated subterms in typeops GitHub macOS CI #3584: Commit 0d5c37b pushed by SkySkimmer
June 20, 2024 13:08 15m 21s typeops-kaboom
typeops-kaboom
June 20, 2024 13:08 15m 21s
Fix coqide compilation with lablgtk 3.1.5 on windows GitHub macOS CI #3583: Commit 54de3af pushed by SkySkimmer
June 20, 2024 12:32 27m 37s windows-new-gtk
windows-new-gtk
June 20, 2024 12:32 27m 37s
Fix Scheme Equality with template poly GitHub macOS CI #3582: Commit 403c62d pushed by SkySkimmer
June 20, 2024 12:21 26m 59s template-no-sup-constraint
template-no-sup-constraint
June 20, 2024 12:21 26m 59s
Flag to disable cumulativity of Prop GitHub macOS CI #3581: Commit 71dc6fc pushed by SkySkimmer
June 20, 2024 12:13 29m 25s prop-cumul
prop-cumul
June 20, 2024 12:13 29m 25s
Merge PR #19202: hcons: remove land 0x3FFFFFFF GitHub macOS CI #3580: Commit 8929019 pushed by SkySkimmer
June 20, 2024 12:13 27m 53s master
master
June 20, 2024 12:13 27m 53s
Fix coqide compilation with lablgtk 3.1.5 on windows GitHub macOS CI #3579: Commit 1b60c57 pushed by SkySkimmer
June 19, 2024 19:27 26m 31s windows-new-gtk
windows-new-gtk
June 19, 2024 19:27 26m 31s
Fix Scheme Equality with template poly GitHub macOS CI #3578: Commit 688343b pushed by SkySkimmer
June 19, 2024 13:27 28m 10s template-no-sup-constraint
template-no-sup-constraint
June 19, 2024 13:27 28m 10s
Fix Scheme Equality with template poly GitHub macOS CI #3577: Commit d8aed29 pushed by SkySkimmer
June 19, 2024 13:20 28m 50s template-no-sup-constraint
template-no-sup-constraint
June 19, 2024 13:20 28m 50s
NewProfile: use appropriate time units to print timings GitHub macOS CI #3576: Commit 20e9e84 pushed by SkySkimmer
June 19, 2024 12:35 31m 20s newprof-output
newprof-output
June 19, 2024 12:35 31m 20s
NewProfile: sort subtimes in decreasing order of timing GitHub macOS CI #3575: Commit 20920f7 pushed by SkySkimmer
June 19, 2024 12:04 38m 16s newprof-output
newprof-output
June 19, 2024 12:04 38m 16s
hconstr v4: share terms with identical binders GitHub macOS CI #3574: Commit 58c700a pushed by SkySkimmer
June 19, 2024 11:30 25m 1s typeops-kaboom
typeops-kaboom
June 19, 2024 11:30 25m 1s
Remove useless typechecking of future goals in refine GitHub macOS CI #3573: Commit 0a7d2a2 pushed by SkySkimmer
June 19, 2024 11:14 50m 12s refine-check-future
refine-check-future
June 19, 2024 11:14 50m 12s
Ltac2: add a few APIs about uint63 GitHub macOS CI #3572: Commit 8b6235d pushed by SkySkimmer
June 19, 2024 11:13 47m 41s ltac2-uint63
ltac2-uint63
June 19, 2024 11:13 47m 41s
Avoid dummy in convert_return_close GitHub macOS CI #3571: Commit d85a97e pushed by SkySkimmer
June 19, 2024 11:10 32m 2s conv-return-nodummy
conv-return-nodummy
June 19, 2024 11:10 32m 2s
Flag to disable cumulativity of Prop GitHub macOS CI #3570: Commit e89a171 pushed by SkySkimmer
June 19, 2024 11:10 30m 3s prop-cumul
prop-cumul
June 19, 2024 11:10 30m 3s