Skip to content

Actions: coq/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
6,466 workflow runs
6,466 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stop relying on CClosure internals in ring protected reduction. GitHub macOS CI #14039: Pull request #19931 synchronize by ppedrot
December 13, 2024 10:45 In progress ppedrot:ring-clean-cclosure-internals
ppedrot:ring-clean-cclosure-internals
December 13, 2024 10:45 In progress
Stop relying on CClosure internals in ring protected reduction. GitHub macOS CI #14038: Pull request #19931 opened by ppedrot
December 13, 2024 10:34 In progress ppedrot:ring-clean-cclosure-internals
ppedrot:ring-clean-cclosure-internals
December 13, 2024 10:34 In progress
Simplify proof of Peano_dec.le_unique (redux) GitHub macOS CI #14037: Pull request #19893 synchronize by jeanas
December 12, 2024 16:46 25m 5s jeanas:le_unique
jeanas:le_unique
December 12, 2024 16:46 25m 5s
Strictly unique classes can be resolved independently. GitHub macOS CI #14036: Pull request #18762 synchronize by Janno
December 12, 2024 16:41 24m 53s Janno:janno/strictly-unique
Janno:janno/strictly-unique
December 12, 2024 16:41 24m 53s
Cleanup artifacts before upload GitHub macOS CI #14035: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 16:29 22m 55s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 16:29 22m 55s
Fix paths in shims GitHub macOS CI #14034: Pull request #19929 opened by SkySkimmer
December 12, 2024 16:23 28m 34s SkySkimmer:fix-shim
SkySkimmer:fix-shim
December 12, 2024 16:23 28m 34s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14033: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 15:57 23m 57s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 15:57 23m 57s
Cleanup artifacts before upload GitHub macOS CI #14032: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 15:56 25m 56s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 15:56 25m 56s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14031: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 15:48 34m 11s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 15:48 34m 11s
Rocq CLI GitHub macOS CI #14030: Pull request #19927 synchronize by SkySkimmer
December 12, 2024 15:34 20m 21s SkySkimmer:rocq-cli
SkySkimmer:rocq-cli
December 12, 2024 15:34 20m 21s
Rocq CLI GitHub macOS CI #14029: Pull request #19927 opened by SkySkimmer
December 12, 2024 15:30 22m 19s SkySkimmer:rocq-cli
SkySkimmer:rocq-cli
December 12, 2024 15:30 22m 19s
Merge PR #19899: [build] Fix wrong use of %{project_root}/_build in c… GitHub macOS CI #14028: Commit 215a647 pushed by coqbot-app bot
December 12, 2024 14:14 21m 30s master
master
December 12, 2024 14:14 21m 30s
Cleanup artifacts before upload GitHub macOS CI #14027: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 14:08 31m 47s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 14:08 31m 47s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14026: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 14:08 22m 50s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 14:08 22m 50s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14025: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 13:59 24m 15s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 13:59 24m 15s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14024: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 13:51 23m 37s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 13:51 23m 37s
Cleanup artifacts before upload GitHub macOS CI #14023: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 13:40 24m 12s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 13:40 24m 12s
Cleanup artifacts before upload GitHub macOS CI #14022: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 13:38 26m 29s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 13:38 26m 29s
Cleanup artifacts before upload GitHub macOS CI #14021: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 13:37 22m 0s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 13:37 22m 0s
Cleanup artifacts before upload GitHub macOS CI #14020: Pull request #19926 opened by SkySkimmer
December 12, 2024 13:36 21m 2s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 13:36 21m 2s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14019: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 13:23 23m 49s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 13:23 23m 49s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #14018: Pull request #19925 opened by SkySkimmer
December 12, 2024 13:07 22m 11s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 13:07 22m 11s
Merge PR #19923: Fix CODEOWNERS after stdlib split. GitHub macOS CI #14017: Commit 46fb258 pushed by coqbot-app bot
December 12, 2024 11:34 24m 58s master
master
December 12, 2024 11:34 24m 58s
Allow to inject compiler pragmas in generated file GitHub macOS CI #14016: Pull request #19906 synchronize by yaitskov
December 11, 2024 19:22 23m 16s yaitskov:extraction-file-pragma
yaitskov:extraction-file-pragma
December 11, 2024 19:22 23m 16s
Allow to inject compiler pragmas in generated file GitHub macOS CI #14015: Pull request #19906 synchronize by yaitskov
December 11, 2024 19:21 20m 12s yaitskov:extraction-file-pragma
yaitskov:extraction-file-pragma
December 11, 2024 19:21 20m 12s