Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup artifacts before upload GitHub macOS CI #4419: Commit 257b2ab pushed by SkySkimmer
December 12, 2024 15:56 27m 15s clean-artifacts
clean-artifacts
December 12, 2024 15:56 27m 15s
Cleanup artifacts before upload GitHub macOS CI #4418: Commit 61146f3 pushed by SkySkimmer
December 12, 2024 15:48 23m 34s ci-install-artifacts
ci-install-artifacts
December 12, 2024 15:48 23m 34s
overlay for coq-core -> rocq-runtime renaming GitHub macOS CI #4417: Commit 6d358b1 pushed by SkySkimmer
December 12, 2024 15:34 26m 29s rocq-cli
rocq-cli
December 12, 2024 15:34 26m 29s
Doc: replace "coqfoo" with "rocq foo" GitHub macOS CI #4416: Commit 2e72243 pushed by SkySkimmer
December 12, 2024 15:20 28m 54s rocq-cli
rocq-cli
December 12, 2024 15:20 28m 54s
Merge PR #19899: [build] Fix wrong use of %{project_root}/_build in c… GitHub macOS CI #4415: Commit 215a647 pushed by SkySkimmer
December 12, 2024 14:18 24m 24s master
master
December 12, 2024 14:18 24m 24s
Cleanup artifacts before upload GitHub macOS CI #4414: Commit 839ceff pushed by SkySkimmer
December 12, 2024 14:08 21m 18s clean-artifacts
clean-artifacts
December 12, 2024 14:08 21m 18s
Cleanup artifacts before upload GitHub macOS CI #4413: Commit a949971 pushed by SkySkimmer
December 12, 2024 14:08 27m 11s ci-install-artifacts
ci-install-artifacts
December 12, 2024 14:08 27m 11s
Cleanup artifacts before upload GitHub macOS CI #4412: Commit d3abbc6 pushed by SkySkimmer
December 12, 2024 13:59 19m 47s ci-install-artifacts
ci-install-artifacts
December 12, 2024 13:59 19m 47s
Cleanup artifacts before upload GitHub macOS CI #4411: Commit d161559 pushed by SkySkimmer
December 12, 2024 13:51 33m 9s ci-install-artifacts
ci-install-artifacts
December 12, 2024 13:51 33m 9s
Cleanup artifacts before upload GitHub macOS CI #4410: Commit 9841424 pushed by SkySkimmer
December 12, 2024 13:40 34m 52s clean-artifacts
clean-artifacts
December 12, 2024 13:40 34m 52s
Cleanup artifacts before upload GitHub macOS CI #4409: Commit a3d4cc4 pushed by SkySkimmer
December 12, 2024 13:38 22m 23s clean-artifacts
clean-artifacts
December 12, 2024 13:38 22m 23s
Cleanup artifacts before upload GitHub macOS CI #4408: Commit 7beea6e pushed by SkySkimmer
December 12, 2024 13:37 23m 35s clean-artifacts
clean-artifacts
December 12, 2024 13:37 23m 35s
Cleanup artifacts before upload GitHub macOS CI #4407: Commit 4b6c206 pushed by SkySkimmer
December 12, 2024 13:36 22m 53s clean-artifacts
clean-artifacts
December 12, 2024 13:36 22m 53s
Cleanup artifacts before upload GitHub macOS CI #4406: Commit cb6111d pushed by SkySkimmer
December 12, 2024 13:36 21m 13s clean-artifacts
clean-artifacts
December 12, 2024 13:36 21m 13s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #4405: Commit 6892281 pushed by SkySkimmer
December 12, 2024 13:23 27m 39s ci-install-artifacts
ci-install-artifacts
December 12, 2024 13:23 27m 39s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #4404: Commit 0a525c3 pushed by SkySkimmer
December 12, 2024 13:07 26m 29s ci-install-artifacts
ci-install-artifacts
December 12, 2024 13:07 26m 29s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #4403: Commit 5da3cc9 pushed by SkySkimmer
December 12, 2024 13:07 25m 2s ci-install-artifacts
ci-install-artifacts
December 12, 2024 13:07 25m 2s
Merge PR #19923: Fix CODEOWNERS after stdlib split. GitHub macOS CI #4402: Commit 46fb258 pushed by SkySkimmer
December 12, 2024 12:40 28m 14s master
master
December 12, 2024 12:40 28m 14s
overlay for coq-core -> rocq-runtime renaming GitHub macOS CI #4401: Commit 48526cb pushed by SkySkimmer
December 11, 2024 15:24 24m 35s rocq-cli
rocq-cli
December 11, 2024 15:24 24m 35s
Merge PR #19911: Fix Vector warning link GitHub macOS CI #4400: Commit cb28c9d pushed by SkySkimmer
December 11, 2024 14:45 25m 51s master
master
December 11, 2024 14:45 25m 51s
overlay for coq-core -> rocq-runtime renaming GitHub macOS CI #4399: Commit 9170b67 pushed by SkySkimmer
December 11, 2024 14:15 27m 56s rocq-cli
rocq-cli
December 11, 2024 14:15 27m 56s
Fix doc:refman:deploy after stdlib directory split GitHub macOS CI #4398: Commit 36efe84 pushed by SkySkimmer
December 11, 2024 13:29 22m 21s stdlib-artifacts
stdlib-artifacts
December 11, 2024 13:29 22m 21s
Try to get stdlib to not depend on coqc using (env (binaries)) GitHub macOS CI #4397: Commit a3a342e pushed by SkySkimmer
December 11, 2024 13:14 10m 47s rocq-cli-stdlib-rocqc
rocq-cli-stdlib-rocqc
December 11, 2024 13:14 10m 47s
dune display short (debug) GitHub macOS CI #4396: Commit 0a94fea pushed by SkySkimmer
December 11, 2024 12:13 21m 37s stdlib-artifacts
stdlib-artifacts
December 11, 2024 12:13 21m 37s
Declare ML Module compat handling for "coq-core" plugins GitHub macOS CI #4395: Commit 69da2d8 pushed by SkySkimmer
December 11, 2024 12:09 10m 26s rocq-cli
rocq-cli
December 11, 2024 12:09 10m 26s