Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
2,190 workflow runs
2,190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: validate jobs also check stdlib GitHub macOS CI #4500: Commit 6f1767d pushed by SkySkimmer
December 19, 2024 12:22 21m 10s validate-stdlib
validate-stdlib
December 19, 2024 12:22 21m 10s
Merge PR #19943: GADT-based representation of module / module types. GitHub macOS CI #4499: Commit 734ec43 pushed by SkySkimmer
December 19, 2024 12:10 28m 36s master
master
December 19, 2024 12:10 28m 36s
Remove unused argument of Retyping make_param_univs GitHub macOS CI #4498: Commit 19d7f34 pushed by SkySkimmer
December 18, 2024 15:40 29m 39s retyping-indu
retyping-indu
December 18, 2024 15:40 29m 39s
Fix dune-dbg (coqdep.bc doesn't exist anymore) GitHub macOS CI #4497: Commit b07874f pushed by SkySkimmer
December 18, 2024 15:02 22m 36s dbg-coqdep
dbg-coqdep
December 18, 2024 15:02 22m 36s
CI: validate jobs also check stdlib GitHub macOS CI #4496: Commit 22b658f pushed by SkySkimmer
December 18, 2024 14:53 22m 54s validate-stdlib
validate-stdlib
December 18, 2024 14:53 22m 54s
CI: validate jobs also check stdlib GitHub macOS CI #4495: Commit a2c1c2a pushed by SkySkimmer
December 18, 2024 14:53 23m 38s validate-stdlib
validate-stdlib
December 18, 2024 14:53 23m 38s
assign delta steps to the context with the unfolded ref GitHub macOS CI #4494: Commit 4e68b02 pushed by SkySkimmer
December 18, 2024 14:38 28m 21s lazy-stats
lazy-stats
December 18, 2024 14:38 28m 21s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … GitHub macOS CI #4493: Commit 47374f9 pushed by SkySkimmer
December 18, 2024 14:26 36m 20s rocq-env-vars
rocq-env-vars
December 18, 2024 14:26 36m 20s
Put back the doc section about rocq workmgr GitHub macOS CI #4492: Commit 08341a0 pushed by SkySkimmer
December 18, 2024 14:23 29m 57s workmgr-doc
workmgr-doc
December 18, 2024 14:23 29m 57s
disable warnings in stdlib All.v GitHub macOS CI #4491: Commit 7e0978c pushed by SkySkimmer
December 18, 2024 14:18 34m 16s stdlib-all
stdlib-all
December 18, 2024 14:18 34m 16s
rename coqworker -> rocqworker GitHub macOS CI #4490: Commit 5ecb2b3 pushed by SkySkimmer
December 18, 2024 14:17 27m 18s rocqworker
rocqworker
December 18, 2024 14:17 27m 18s
Merge PR #19946: Remove warning "overwriting-delimiting-key" GitHub macOS CI #4489: Commit 4feee16 pushed by SkySkimmer
December 18, 2024 14:15 26m 55s master
master
December 18, 2024 14:15 26m 55s
assign delta steps to the context with the unfolded ref GitHub macOS CI #4488: Commit 0827e4f pushed by SkySkimmer
December 18, 2024 14:04 23m 22s lazy-stats
lazy-stats
December 18, 2024 14:04 23m 22s
Create HintDb does not erase pre-existing hint db GitHub macOS CI #4487: Commit c56f115 pushed by SkySkimmer
December 18, 2024 14:01 27m 26s create-hintdb
create-hintdb
December 18, 2024 14:01 27m 26s
Apply suggestions from code review GitHub macOS CI #4486: Commit 278a2aa pushed by SkySkimmer
December 18, 2024 13:51 42m 47s create-hintdb
create-hintdb
December 18, 2024 13:51 42m 47s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … GitHub macOS CI #4485: Commit afc9146 pushed by SkySkimmer
December 18, 2024 13:48 25m 34s rocq-env-vars
rocq-env-vars
December 18, 2024 13:48 25m 34s
Stop reading env var COQ_CONFIGURE_PREFIX GitHub macOS CI #4484: Commit 11508e3 pushed by SkySkimmer
December 18, 2024 13:44 24m 3s no-conf-prefix
no-conf-prefix
December 18, 2024 13:44 24m 3s
Basic manpage for rocq GitHub macOS CI #4483: Commit 5dd3926 pushed by SkySkimmer
December 18, 2024 13:33 23m 6s rocq-man
rocq-man
December 18, 2024 13:33 23m 6s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … GitHub macOS CI #4482: Commit 914bc75 pushed by SkySkimmer
December 18, 2024 13:16 24m 6s rocq-env-vars
rocq-env-vars
December 18, 2024 13:16 24m 6s
Stop reading env var COQ_CONFIGURE_PREFIX GitHub macOS CI #4481: Commit 2b1ea18 pushed by SkySkimmer
December 18, 2024 12:44 11m 43s no-conf-prefix
no-conf-prefix
December 18, 2024 12:44 11m 43s
stdlib use custom wrapper to avoid depending on coq-core GitHub macOS CI #4480: Commit 81172bc pushed by SkySkimmer
December 18, 2024 12:30 21m 14s stdlib-no-coq
stdlib-no-coq
December 18, 2024 12:30 21m 14s
stdlib use custom wrapper to avoid depending on coq-core GitHub macOS CI #4479: Commit 9143d01 pushed by SkySkimmer
December 18, 2024 12:29 25m 21s stdlib-no-coq
stdlib-no-coq
December 18, 2024 12:29 25m 21s
rename coqworker -> rocqworker GitHub macOS CI #4478: Commit fb85ff4 pushed by SkySkimmer
December 18, 2024 12:15 23m 52s rocqworker
rocqworker
December 18, 2024 12:15 23m 52s
Fix missing checks in stdlib test suite GitHub macOS CI #4477: Commit 7a62178 pushed by SkySkimmer
December 18, 2024 12:09 26m 56s fix-stdlib-test
fix-stdlib-test
December 18, 2024 12:09 26m 56s
Ltac2: add Char.of_int_opt GitHub macOS CI #4476: Commit 62574f7 pushed by SkySkimmer
December 18, 2024 11:39 19m 44s ltac2-char-int-opt
ltac2-char-int-opt
December 18, 2024 11:39 19m 44s