Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #872: Scheduled
January 3, 2025 02:46 2s master
master
January 3, 2025 02:46 2s
"Warnings" and "Debug" options are synterp not interp Check conflicts #6169: Commit c5fed9e pushed by SkySkimmer
January 2, 2025 21:16 14s classify-warn
classify-warn
January 2, 2025 21:16 14s
"Warnings" and "Debug" options are synterp not interp Windows CI #4361: Commit c5fed9e pushed by SkySkimmer
January 2, 2025 21:16 55m 43s classify-warn
classify-warn
January 2, 2025 21:16 55m 43s
"Warnings" and "Debug" options are synterp not interp GitHub macOS CI #4523: Commit c5fed9e pushed by SkySkimmer
January 2, 2025 21:16 28m 22s classify-warn
classify-warn
January 2, 2025 21:16 28m 22s
Stale PRs Stale PRs #871: Scheduled
January 2, 2025 02:44 3s master
master
January 2, 2025 02:44 3s
Stale PRs Stale PRs #870: Scheduled
January 1, 2025 02:53 3s master
master
January 1, 2025 02:53 3s
Stale PRs Stale PRs #869: Scheduled
December 31, 2024 02:44 2s master
master
December 31, 2024 02:44 2s
Stale PRs Stale PRs #868: Scheduled
December 30, 2024 02:49 2s master
master
December 30, 2024 02:49 2s
Stale PRs Stale PRs #867: Scheduled
December 27, 2024 02:46 2s master
master
December 27, 2024 02:46 2s
Stale PRs Stale PRs #866: Scheduled
December 26, 2024 02:45 3s master
master
December 26, 2024 02:45 3s
Stale PRs Stale PRs #865: Scheduled
December 25, 2024 02:43 2s master
master
December 25, 2024 02:43 2s
Stale PRs Stale PRs #864: Scheduled
December 24, 2024 02:46 2s master
master
December 24, 2024 02:46 2s
Fix step assignment with term sharing and partially applied function GitHub macOS CI #4522: Commit ca479e5 pushed by SkySkimmer
December 23, 2024 13:48 25m 40s lazy-stats
lazy-stats
December 23, 2024 13:48 25m 40s
Fix step assignment with term sharing and partially applied function Check conflicts #6168: Commit ca479e5 pushed by SkySkimmer
December 23, 2024 13:48 11s lazy-stats
lazy-stats
December 23, 2024 13:48 11s
Fix step assignment with term sharing and partially applied function Windows CI #4360: Commit ca479e5 pushed by SkySkimmer
December 23, 2024 13:48 57m 31s lazy-stats
lazy-stats
December 23, 2024 13:48 57m 31s
Fix step assignment with term sharing and partially applied function GitHub macOS CI #4521: Commit 85c44a4 pushed by SkySkimmer
December 23, 2024 10:17 22m 18s lazy-stats
lazy-stats
December 23, 2024 10:17 22m 18s
Fix step assignment with term sharing and partially applied function Windows CI #4359: Commit 85c44a4 pushed by SkySkimmer
December 23, 2024 10:17 1h 1m 38s lazy-stats
lazy-stats
December 23, 2024 10:17 1h 1m 38s
Fix step assignment with term sharing and partially applied function Check conflicts #6167: Commit 85c44a4 pushed by SkySkimmer
December 23, 2024 10:17 14s lazy-stats
lazy-stats
December 23, 2024 10:17 14s
Fix test suite coqdep outputs Windows CI #4358: Commit c026c9d pushed by SkySkimmer
December 23, 2024 08:30 48m 37s rocq-cli-dynlink
rocq-cli-dynlink
December 23, 2024 08:30 48m 37s
Fix test suite coqdep outputs Check conflicts #6166: Commit c026c9d pushed by SkySkimmer
December 23, 2024 08:30 11s rocq-cli-dynlink
rocq-cli-dynlink
December 23, 2024 08:30 11s
Fix test suite coqdep outputs GitHub macOS CI #4520: Commit c026c9d pushed by SkySkimmer
December 23, 2024 08:30 15m 58s rocq-cli-dynlink
rocq-cli-dynlink
December 23, 2024 08:30 15m 58s
Stale PRs Stale PRs #863: Scheduled
December 23, 2024 02:49 3s master
master
December 23, 2024 02:49 3s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Windows CI #4357: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 55m 52s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 55m 52s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh GitHub macOS CI #4519: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 24m 23s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 24m 23s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Check conflicts #6165: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 11s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 11s