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

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 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 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 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
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 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
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
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
debug upload artifact lists GitHub macOS CI #4432: Commit bb4d624 pushed by SkySkimmer
December 13, 2024 14:26 25m 27s clean-artifacts
clean-artifacts
December 13, 2024 14:26 25m 27s
doc: rocq c -> rocq compile GitHub macOS CI #4431: Commit 528d52a pushed by SkySkimmer
December 13, 2024 14:23 23m 57s rocq-cli
rocq-cli
December 13, 2024 14:23 23m 57s
Doc: rename coqtop:: -> rocqtop::, coqdoc:: -> rocqdoc:: GitHub macOS CI #4430: Commit 9a6946d pushed by SkySkimmer
December 13, 2024 14:14 28m 8s rocq-directive
rocq-directive
December 13, 2024 14:14 28m 8s
doc: rocq c -> rocq compile GitHub macOS CI #4429: Commit bb72ce2 pushed by SkySkimmer
December 13, 2024 13:34 25m 37s rocq-cli
rocq-cli
December 13, 2024 13:34 25m 37s
Apply suggestions from code review GitHub macOS CI #4428: Commit 0e7dcf7 pushed by SkySkimmer
December 13, 2024 13:28 23m 53s rocq-cli
rocq-cli
December 13, 2024 13:28 23m 53s
Merge PR #19929: Fix paths in shims GitHub macOS CI #4427: Commit e2dc7ac pushed by SkySkimmer
December 13, 2024 13:26 21m 13s master
master
December 13, 2024 13:26 21m 13s
Cleanup artifacts before upload GitHub macOS CI #4426: Commit 126ce83 pushed by SkySkimmer
December 13, 2024 13:26 26m 58s clean-artifacts
clean-artifacts
December 13, 2024 13:26 26m 58s
Give location for unbound univ error GitHub macOS CI #4425: Commit 1da6ffc pushed by SkySkimmer
December 13, 2024 13:13 23m 39s unbound-univ-loc
unbound-univ-loc
December 13, 2024 13:13 23m 39s
Cleanup artifacts before upload GitHub macOS CI #4424: Commit bce7bb5 pushed by SkySkimmer
December 13, 2024 12:47 20m 48s clean-artifacts
clean-artifacts
December 13, 2024 12:47 20m 48s
debug: upload artifacts list GitHub macOS CI #4423: Commit be28701 pushed by SkySkimmer
December 13, 2024 12:46 26m 13s clean-artifacts
clean-artifacts
December 13, 2024 12:46 26m 13s
Cleanup artifacts before upload GitHub macOS CI #4422: Commit c2446c0 pushed by SkySkimmer
December 12, 2024 16:29 26m 32s clean-artifacts
clean-artifacts
December 12, 2024 16:29 26m 32s
Fix paths in shims GitHub macOS CI #4421: Commit 82ac121 pushed by SkySkimmer
December 12, 2024 16:23 23m 46s fix-shim
fix-shim
December 12, 2024 16:23 23m 46s
Cleanup artifacts before upload GitHub macOS CI #4420: Commit 7b2d728 pushed by SkySkimmer
December 12, 2024 15:57 31m 30s ci-install-artifacts
ci-install-artifacts
December 12, 2024 15:57 31m 30s
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