Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14,485 workflow runs
14,485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #860: Scheduled
December 13, 2024 02:31 11s master
master
December 13, 2024 02:31 11s
Simplify proof of Peano_dec.le_unique (redux) Windows CI #13364: Pull request #19893 synchronize by jeanas
December 12, 2024 16:46 58m 17s jeanas:le_unique
jeanas:le_unique
December 12, 2024 16:46 58m 17s
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
Strictly unique classes can be resolved independently. Windows CI #13363: Pull request #18762 synchronize by Janno
December 12, 2024 16:41 45m 35s Janno:janno/strictly-unique
Janno:janno/strictly-unique
December 12, 2024 16:41 45m 35s
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
Cleanup artifacts before upload Windows CI #13362: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 16:29 1h 11m 9s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 16:29 1h 11m 9s
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
Fix paths in shims Windows CI #13361: Pull request #19929 opened by SkySkimmer
December 12, 2024 16:23 59m 25s SkySkimmer:fix-shim
SkySkimmer:fix-shim
December 12, 2024 16:23 59m 25s
CI: upload _install_ci instead of _build_ci Windows CI #13360: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 15:57 1h 0m 41s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 15:57 1h 0m 41s
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
Cleanup artifacts before upload Windows CI #13359: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 15:56 1h 0m 1s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 15:56 1h 0m 1s
CI: upload _install_ci instead of _build_ci Windows CI #13358: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 15:48 1h 3m 6s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 15:48 1h 3m 6s
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 Windows CI #13357: Pull request #19927 synchronize by SkySkimmer
December 12, 2024 15:34 1h 0m 37s SkySkimmer:rocq-cli
SkySkimmer:rocq-cli
December 12, 2024 15:34 1h 0m 37s
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
Rocq CLI Windows CI #13356: Pull request #19927 opened by SkySkimmer
December 12, 2024 15:30 1h 1m 28s SkySkimmer:rocq-cli
SkySkimmer:rocq-cli
December 12, 2024 15:30 1h 1m 28s
Merge PR #19899: [build] Fix wrong use of %{project_root}/_build in c… Windows CI #13355: Commit 215a647 pushed by coqbot-app bot
December 12, 2024 14:14 1h 0m 21s master
master
December 12, 2024 14:14 1h 0m 21s
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
Merge PR #19899: [build] Fix wrong use of %{project_root}/_build in c… Check conflicts #4117: Commit 215a647 pushed by coqbot-app bot
December 12, 2024 14:14 4m 13s master
master
December 12, 2024 14:14 4m 13s
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
Cleanup artifacts before upload Windows CI #13354: Pull request #19926 synchronize by SkySkimmer
December 12, 2024 14:08 1h 3m 49s SkySkimmer:clean-artifacts
SkySkimmer:clean-artifacts
December 12, 2024 14:08 1h 3m 49s
CI: upload _install_ci instead of _build_ci Windows CI #13353: Pull request #19925 synchronize by SkySkimmer
December 12, 2024 14:08 1h 6m 14s SkySkimmer:ci-install-artifacts
SkySkimmer:ci-install-artifacts
December 12, 2024 14:08 1h 6m 14s