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

Add rocq votour subcommand (calling votour as public exe in rocq-ru… GitHub macOS CI #4391: Commit ad1ec83 pushed by SkySkimmer
December 10, 2024 16:52 10m 5s rocq-cli
rocq-cli
December 10, 2024 16:52 10m 5s
Disable and remove Automatic Proposition Inductives GitHub macOS CI #4390: Commit 7de879e pushed by SkySkimmer
December 10, 2024 16:40 20m 16s depr-auto-prop-lowering
depr-auto-prop-lowering
December 10, 2024 16:40 20m 16s
Add rocq votour subcommand (calling votour as public exe in rocq-ru… GitHub macOS CI #4389: Commit 98ce49a pushed by SkySkimmer
December 10, 2024 16:35 10m 54s rocq-cli
rocq-cli
December 10, 2024 16:35 10m 54s
Merge PR #19912: CI: also build coq-stdlib in pkg:opam job GitHub macOS CI #4388: Commit 027de83 pushed by SkySkimmer
December 10, 2024 16:30 33m 27s master
master
December 10, 2024 16:30 33m 27s
CI pkg:opam list installed coq files in artifacts GitHub macOS CI #4387: Commit c15c9cf pushed by SkySkimmer
December 10, 2024 15:09 32m 58s ci-stdlib
ci-stdlib
December 10, 2024 15:09 32m 58s
stdlib: add generated All.v requiring everything in stdlib GitHub macOS CI #4386: Commit 79f538f pushed by SkySkimmer
December 10, 2024 15:01 27m 5s stdlib-all
stdlib-all
December 10, 2024 15:01 27m 5s
stdlib: add generated All.v requiring everything in stdlib GitHub macOS CI #4385: Commit 2a26208 pushed by SkySkimmer
December 10, 2024 14:56 21m 29s stdlib-all
stdlib-all
December 10, 2024 14:56 21m 29s
stdlib: add generated All.v requiring everything in stdlib GitHub macOS CI #4384: Commit 633ecae pushed by SkySkimmer
December 10, 2024 14:55 21m 11s stdlib-all
stdlib-all
December 10, 2024 14:55 21m 11s
stdlib: add generated All.v requiring everything in stdlib GitHub macOS CI #4383: Commit 676ab69 pushed by SkySkimmer
December 10, 2024 14:53 25m 42s stdlib-all
stdlib-all
December 10, 2024 14:53 25m 42s
stdlib: add generated All.v requiring everything in stdlib GitHub macOS CI #4382: Commit 6b61448 pushed by SkySkimmer
December 10, 2024 14:50 21m 24s stdlib-all
stdlib-all
December 10, 2024 14:50 21m 24s
Universe constraint sources are Escape GitHub macOS CI #4381: Commit 17d280e pushed by SkySkimmer
December 10, 2024 14:09 24m 4s constraint-sources-escape
constraint-sources-escape
December 10, 2024 14:09 24m 4s
CI pkg:opam list installed coq files in artifacts GitHub macOS CI #4380: Commit 6209cde pushed by SkySkimmer
December 10, 2024 13:50 2m 31s ci-stdlib
ci-stdlib
December 10, 2024 13:50 2m 31s
CI pkg:opam list installed coq files in artifacts GitHub macOS CI #4379: Commit fb6e9aa pushed by SkySkimmer
December 10, 2024 13:49 2m 29s ci-stdlib
ci-stdlib
December 10, 2024 13:49 2m 29s
Merge PR #19909: Fix macos again GitHub macOS CI #4378: Commit 9462ff6 pushed by SkySkimmer
December 10, 2024 13:31 19m 38s master
master
December 10, 2024 13:31 19m 38s
CI pkg:opam list installed coq files in artifacts GitHub macOS CI #4377: Commit 3d02c62 pushed by SkySkimmer
December 10, 2024 13:23 2m 20s ci-stdlib
ci-stdlib
December 10, 2024 13:23 2m 20s
Add rocq votour subcommand (calling votour as public exe in rocq-ru… GitHub macOS CI #4376: Commit 98966e9 pushed by SkySkimmer
December 10, 2024 13:06 4m 53s rocq-cli
rocq-cli
December 10, 2024 13:06 4m 53s
CI: also build coq-stdlib in pkg:opam job GitHub macOS CI #4375: Commit 9b529af pushed by SkySkimmer
December 10, 2024 13:02 3m 25s ci-stdlib
ci-stdlib
December 10, 2024 13:02 3m 25s
remove macos pkgconf workaround GitHub macOS CI #4374: Commit d083a3a pushed by SkySkimmer
December 10, 2024 11:58 21m 48s fix-macos
fix-macos
December 10, 2024 11:58 21m 48s
Merge PR #19833: rm problematic variables under beta redexes for evar… GitHub macOS CI #4373: Commit 5a350f1 pushed by SkySkimmer
December 10, 2024 11:47 2m 54s master
master
December 10, 2024 11:47 2m 54s
Add rocq workmgr subcommand move coqworkmgr back to coq-core GitHub macOS CI #4372: Commit f692376 pushed by SkySkimmer
December 9, 2024 17:24 2m 28s rocq-cli
rocq-cli
December 9, 2024 17:24 2m 28s
Add rocq wc subcommand, move coqwc back to coq-core GitHub macOS CI #4371: Commit 322d96b pushed by SkySkimmer
December 9, 2024 17:03 2m 30s rocq-cli
rocq-cli
December 9, 2024 17:03 2m 30s
Add rocq repl-with-drop subcommand, put coqtop.byte back in coq-core GitHub macOS CI #4370: Commit 210d6d8 pushed by SkySkimmer
December 9, 2024 16:53 2m 7s rocq-cli
rocq-cli
December 9, 2024 16:53 2m 7s
Add rocq dep subcommand, move coqdep back to coq-core GitHub macOS CI #4369: Commit ed28115 pushed by SkySkimmer
December 9, 2024 15:53 3m 13s rocq-cli
rocq-cli
December 9, 2024 15:53 3m 13s
Use rocq pp-mlg for rocq-runtime files, move coqpp back to `coq-c… GitHub macOS CI #4368: Commit d1d6a81 pushed by SkySkimmer
December 9, 2024 14:56 2m 26s rocq-cli
rocq-cli
December 9, 2024 14:56 2m 26s
coqpp: set location annotation when exiting user-provided code GitHub macOS CI #4367: Commit 22be7f5 pushed by SkySkimmer
December 9, 2024 14:05 2m 36s coqpp-line-tracker
coqpp-line-tracker
December 9, 2024 14:05 2m 36s