Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not use Instance.levels in universes_of_constr GitHub macOS CI #2341: Commit 438453c pushed by SkySkimmer
September 26, 2023 13:23 33m 49s sort-poly
sort-poly
September 26, 2023 13:23 33m 49s
Update .gitlab-ci.yml GitHub macOS CI #2340: Commit 297f526 pushed by SkySkimmer
September 25, 2023 17:15 34m 8s large-crypto
large-crypto
September 25, 2023 17:15 34m 8s
Bench: allow setting new and old coq_commit through env variables GitHub macOS CI #2339: Commit 9105f2b pushed by SkySkimmer
September 25, 2023 14:31 36m 30s coq-commit
coq-commit
September 25, 2023 14:31 36m 30s
Bench: allow overriding new and old coq_commit through env variables GitHub macOS CI #2338: Commit c226ec6 pushed by SkySkimmer
September 25, 2023 14:31 38m 10s coq-commit
coq-commit
September 25, 2023 14:31 38m 10s
"rewrite_strat strat with db" syntax GitHub macOS CI #2337: Commit 7815547 pushed by SkySkimmer
September 25, 2023 13:08 42m 41s rw-control-db
rw-control-db
September 25, 2023 13:08 42m 41s
Ltac2: use 0 argument externals when possible GitHub macOS CI #2336: Commit 4e1e038 pushed by SkySkimmer
September 25, 2023 13:06 35m 1s ltac2-0arg-empty
ltac2-0arg-empty
September 25, 2023 13:06 35m 1s
Merge PR #18008: Fixes #18006: pass sigma to "Guarded"'s printer GitHub macOS CI #2335: Commit a8a788c pushed by SkySkimmer
September 25, 2023 13:04 36m 41s master
master
September 25, 2023 13:04 36m 41s
Ltac2: mutable references are not values GitHub macOS CI #2334: Commit d108b81 pushed by SkySkimmer
September 25, 2023 12:27 38m 6s tac2pure
tac2pure
September 25, 2023 12:27 38m 6s
Ltac2: mutable references are not values GitHub macOS CI #2333: Commit cf47a3c pushed by SkySkimmer
September 25, 2023 12:26 34m 4s tac2pure
tac2pure
September 25, 2023 12:26 34m 4s
Try running fiat-crypto on large runners GitHub macOS CI #2332: Commit a207d9b pushed by SkySkimmer
September 25, 2023 12:22 41m 8s large-crypto
large-crypto
September 25, 2023 12:22 41m 8s
Try running fiat-crypto on large runners GitHub macOS CI #2331: Commit 349bd73 pushed by SkySkimmer
September 25, 2023 12:21 36m 43s large-crypto
large-crypto
September 25, 2023 12:21 36m 43s
Try running fiat-crypto on large runners GitHub macOS CI #2330: Commit b539ea9 pushed by SkySkimmer
September 25, 2023 12:18 35m 22s large-crypto
large-crypto
September 25, 2023 12:18 35m 22s
Let with Qed: produce really-Qed side definition GitHub macOS CI #2329: Commit b814c67 pushed by proux01
September 25, 2023 11:52 39m 0s let-abstract
let-abstract
September 25, 2023 11:52 39m 0s
Merge PR #17878: Declaration of Ltac2 primitives using a GADT-based m… GitHub macOS CI #2328: Commit 6ff90d8 pushed by SkySkimmer
September 25, 2023 10:50 36m 26s master
master
September 25, 2023 10:50 36m 26s
bench with sort poly overlays GitHub macOS CI #2327: Commit 180e9c6 pushed by SkySkimmer
September 25, 2023 10:41 36m 54s sort-poly
sort-poly
September 25, 2023 10:41 36m 54s
Merge PR #18079: [CI] Deriving ported to MathComp 2 GitHub macOS CI #2326: Commit 72812a5 pushed by SkySkimmer
September 25, 2023 09:55 35m 56s master
master
September 25, 2023 09:55 35m 56s
Merge PR #18012: Changelog and test for #17789 GitHub macOS CI #2325: Commit c1419b7 pushed by SkySkimmer
September 22, 2023 14:46 39m 50s master
master
September 22, 2023 14:46 39m 50s
Merge PR #18063: Test-suite: address various warnings in file ssr_min… GitHub macOS CI #2324: Commit f1de96d pushed by SkySkimmer
September 22, 2023 14:24 34m 3s master
master
September 22, 2023 14:24 34m 3s
bench with sort poly overlays GitHub macOS CI #2323: Commit 1180a51 pushed by SkySkimmer
September 22, 2023 13:54 38m 3s sort-poly
sort-poly
September 22, 2023 13:54 38m 3s
coq_makefile: Properly delay variable expansion in combined glob/vo rule GitHub macOS CI #2322: Commit 2a8ffa6 pushed by SkySkimmer
September 22, 2023 13:09 40m 52s delayed-globvo
delayed-globvo
September 22, 2023 13:09 40m 52s
Support quotations (genargs) in patterns GitHub macOS CI #2321: Commit 32548ee pushed by SkySkimmer
September 22, 2023 12:13 35m 17s pattern-quotations
pattern-quotations
September 22, 2023 12:13 35m 17s
Experiment: command modifier and tactic for allocation limits GitHub macOS CI #2320: Commit cc3df9a pushed by SkySkimmer
September 22, 2023 12:05 12m 0s alloc-limit
alloc-limit
September 22, 2023 12:05 12m 0s
Overlays for head reduction flag PR GitHub macOS CI #2319: Commit 6e07b62 pushed by SkySkimmer
September 22, 2023 12:03 35m 10s redexpr
redexpr
September 22, 2023 12:03 35m 10s
coq_makefile: Properly delay variable expansion in combined glob/vo rule GitHub macOS CI #2318: Commit 5a80efd pushed by SkySkimmer
September 22, 2023 11:34 37m 48s delayed-globvo
delayed-globvo
September 22, 2023 11:34 37m 48s
Let with Qed: produce really-Qed side definition GitHub macOS CI #2317: Commit 3fd15ff pushed by proux01
September 22, 2023 11:00 34m 55s let-abstract
let-abstract
September 22, 2023 11:00 34m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-09-22 or the other filters available.