Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply suggestions from code review Check conflicts #6074: Commit 0e7dcf7 pushed by SkySkimmer
December 13, 2024 13:28 13s rocq-cli
rocq-cli
December 13, 2024 13:28 13s
Merge PR #19929: Fix paths in shims Windows CI #4265: Commit e2dc7ac pushed by SkySkimmer
December 13, 2024 13:26 45m 40s master
master
December 13, 2024 13:26 45m 40s
Merge PR #19929: Fix paths in shims Check conflicts #6073: Commit e2dc7ac pushed by SkySkimmer
December 13, 2024 13:26 10s master
master
December 13, 2024 13:26 10s
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 Windows CI #4264: Commit 126ce83 pushed by SkySkimmer
December 13, 2024 13:26 47m 55s clean-artifacts
clean-artifacts
December 13, 2024 13:26 47m 55s
Cleanup artifacts before upload Check conflicts #6072: Commit 126ce83 pushed by SkySkimmer
December 13, 2024 13:26 10s clean-artifacts
clean-artifacts
December 13, 2024 13:26 10s
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 Check conflicts #6071: Commit 1da6ffc pushed by SkySkimmer
December 13, 2024 13:13 12s unbound-univ-loc
unbound-univ-loc
December 13, 2024 13:13 12s
Give location for unbound univ error Windows CI #4263: Commit 1da6ffc pushed by SkySkimmer
December 13, 2024 13:13 44m 18s unbound-univ-loc
unbound-univ-loc
December 13, 2024 13:13 44m 18s
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 Windows CI #4262: Commit bce7bb5 pushed by SkySkimmer
December 13, 2024 12:47 1h 10m 25s clean-artifacts
clean-artifacts
December 13, 2024 12:47 1h 10m 25s
Cleanup artifacts before upload Check conflicts #6070: Commit bce7bb5 pushed by SkySkimmer
December 13, 2024 12:47 11s clean-artifacts
clean-artifacts
December 13, 2024 12:47 11s
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 Check conflicts #6069: Commit be28701 pushed by SkySkimmer
December 13, 2024 12:46 12s clean-artifacts
clean-artifacts
December 13, 2024 12:46 12s
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
debug: upload artifacts list Windows CI #4261: Commit be28701 pushed by SkySkimmer
December 13, 2024 12:46 1h 1m 41s clean-artifacts
clean-artifacts
December 13, 2024 12:46 1h 1m 41s
Stale PRs Stale PRs #857: Scheduled
December 13, 2024 03:01 3s master
master
December 13, 2024 03:01 3s
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
Cleanup artifacts before upload Windows CI #4260: Commit c2446c0 pushed by SkySkimmer
December 12, 2024 16:29 53m 20s clean-artifacts
clean-artifacts
December 12, 2024 16:29 53m 20s
Cleanup artifacts before upload Check conflicts #6068: Commit c2446c0 pushed by SkySkimmer
December 12, 2024 16:29 12s clean-artifacts
clean-artifacts
December 12, 2024 16:29 12s
Fix paths in shims Windows CI #4259: Commit 82ac121 pushed by SkySkimmer
December 12, 2024 16:23 1h 3m 35s fix-shim
fix-shim
December 12, 2024 16:23 1h 3m 35s
Fix paths in shims Check conflicts #6067: Commit 82ac121 pushed by SkySkimmer
December 12, 2024 16:23 14s fix-shim
fix-shim
December 12, 2024 16:23 14s
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 Check conflicts #6066: Commit 7b2d728 pushed by SkySkimmer
December 12, 2024 15:57 10s ci-install-artifacts
ci-install-artifacts
December 12, 2024 15:57 10s
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