Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,948 workflow runs
6,948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add job printing stats about the current pipeline GitHub macOS CI #4441: Commit 4f65f0a pushed by SkySkimmer
December 13, 2024 21:14 27m 5s pipeline-stats
pipeline-stats
December 13, 2024 21:14 27m 5s
CI: add job printing stats about the current pipeline Check conflicts #6087: Commit 4f65f0a pushed by SkySkimmer
December 13, 2024 21:14 9s pipeline-stats
pipeline-stats
December 13, 2024 21:14 9s
CI: add job printing stats about the current pipeline Windows CI #4279: Commit 4f65f0a pushed by SkySkimmer
December 13, 2024 21:14 53m 19s pipeline-stats
pipeline-stats
December 13, 2024 21:14 53m 19s
CI: add job printing stats about the current pipeline GitHub macOS CI #4440: Commit ea991be pushed by SkySkimmer
December 13, 2024 20:51 26m 15s pipeline-stats
pipeline-stats
December 13, 2024 20:51 26m 15s
CI: add job printing stats about the current pipeline Check conflicts #6086: Commit ea991be pushed by SkySkimmer
December 13, 2024 20:51 11s pipeline-stats
pipeline-stats
December 13, 2024 20:51 11s
CI: add job printing stats about the current pipeline Windows CI #4278: Commit ea991be pushed by SkySkimmer
December 13, 2024 20:51 54m 24s pipeline-stats
pipeline-stats
December 13, 2024 20:51 54m 24s
CI: add job printing stats about the current pipeline Check conflicts #6085: Commit 9418c7c pushed by SkySkimmer
December 13, 2024 20:15 13s pipeline-stats
pipeline-stats
December 13, 2024 20:15 13s
CI: add job printing stats about the current pipeline GitHub macOS CI #4439: Commit 9418c7c pushed by SkySkimmer
December 13, 2024 20:15 21m 43s pipeline-stats
pipeline-stats
December 13, 2024 20:15 21m 43s
CI: add job printing stats about the current pipeline Windows CI #4277: Commit 9418c7c pushed by SkySkimmer
December 13, 2024 20:15 1h 24m 31s pipeline-stats
pipeline-stats
December 13, 2024 20:15 1h 24m 31s
CI: add job printing stats about the current pipeline Windows CI #4276: Commit da53936 pushed by SkySkimmer
December 13, 2024 19:23 1h 7m 11s pipeline-stats
pipeline-stats
December 13, 2024 19:23 1h 7m 11s
CI: add job printing stats about the current pipeline Check conflicts #6084: Commit da53936 pushed by SkySkimmer
December 13, 2024 19:23 11s pipeline-stats
pipeline-stats
December 13, 2024 19:23 11s
CI: add job printing stats about the current pipeline GitHub macOS CI #4438: Commit da53936 pushed by SkySkimmer
December 13, 2024 19:23 22m 14s pipeline-stats
pipeline-stats
December 13, 2024 19:23 22m 14s
Cleanup artifacts before upload GitHub macOS CI #4437: Commit 6e59d3f pushed by SkySkimmer
December 13, 2024 16:04 22m 43s clean-artifacts
clean-artifacts
December 13, 2024 16:04 22m 43s
Cleanup artifacts before upload Windows CI #4275: Commit 6e59d3f pushed by SkySkimmer
December 13, 2024 16:04 1h 4m 51s clean-artifacts
clean-artifacts
December 13, 2024 16:04 1h 4m 51s
Cleanup artifacts before upload Check conflicts #6083: Commit 6e59d3f pushed by SkySkimmer
December 13, 2024 16:04 10s clean-artifacts
clean-artifacts
December 13, 2024 16:04 10s
debug upload artifact lists Windows CI #4274: Commit 096c152 pushed by SkySkimmer
December 13, 2024 15:52 1h 10m 31s clean-artifacts
clean-artifacts
December 13, 2024 15:52 1h 10m 31s
debug upload artifact lists GitHub macOS CI #4436: Commit 096c152 pushed by SkySkimmer
December 13, 2024 15:52 27m 53s clean-artifacts
clean-artifacts
December 13, 2024 15:52 27m 53s
debug upload artifact lists Check conflicts #6082: Commit 096c152 pushed by SkySkimmer
December 13, 2024 15:52 12s clean-artifacts
clean-artifacts
December 13, 2024 15:52 12s
debug upload artifact lists Check conflicts #6081: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 13s clean-artifacts
clean-artifacts
December 13, 2024 15:29 13s
debug upload artifact lists GitHub macOS CI #4435: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 23m 53s clean-artifacts
clean-artifacts
December 13, 2024 15:29 23m 53s
debug upload artifact lists Windows CI #4273: Commit d70d855 pushed by SkySkimmer
December 13, 2024 15:29 54m 16s clean-artifacts
clean-artifacts
December 13, 2024 15:29 54m 16s
doc: rocq c -> rocq compile GitHub macOS CI #4434: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 22m 42s rocq-cli
rocq-cli
December 13, 2024 14:42 22m 42s
doc: rocq c -> rocq compile Check conflicts #6080: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 14s rocq-cli
rocq-cli
December 13, 2024 14:42 14s
doc: rocq c -> rocq compile Windows CI #4272: Commit d1763f0 pushed by SkySkimmer
December 13, 2024 14:42 1h 33m 8s rocq-cli
rocq-cli
December 13, 2024 14:42 1h 33m 8s
debug upload artifact lists GitHub macOS CI #4433: Commit f507649 pushed by SkySkimmer
December 13, 2024 14:26 22m 9s clean-artifacts
clean-artifacts
December 13, 2024 14:26 22m 9s