Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #874: Scheduled
January 7, 2025 02:48 2s master
master
January 7, 2025 02:48 2s
Merge PR #19958: CI: validate jobs also check stdlib Windows CI #4365: Commit 253e9af pushed by SkySkimmer
January 6, 2025 16:45 57m 47s master
master
January 6, 2025 16:45 57m 47s
Merge PR #19958: CI: validate jobs also check stdlib Check conflicts #6173: Commit 253e9af pushed by SkySkimmer
January 6, 2025 16:45 28s master
master
January 6, 2025 16:45 28s
Merge PR #19958: CI: validate jobs also check stdlib GitHub macOS CI #4527: Commit 253e9af pushed by SkySkimmer
January 6, 2025 16:45 22m 44s master
master
January 6, 2025 16:45 22m 44s
Cleanup "lbound" arguments which are always Set Windows CI #4364: Commit 02cd67a pushed by SkySkimmer
January 6, 2025 16:44 1h 4m 31s cominductive-lbound
cominductive-lbound
January 6, 2025 16:44 1h 4m 31s
Cleanup "lbound" arguments which are always Set Check conflicts #6172: Commit 02cd67a pushed by SkySkimmer
January 6, 2025 16:44 10s cominductive-lbound
cominductive-lbound
January 6, 2025 16:44 10s
Cleanup "lbound" arguments which are always Set GitHub macOS CI #4526: Commit 02cd67a pushed by SkySkimmer
January 6, 2025 16:44 25m 19s cominductive-lbound
cominductive-lbound
January 6, 2025 16:44 25m 19s
rename coqworker -> rocqworker GitHub macOS CI #4525: Commit b76eea2 pushed by SkySkimmer
January 6, 2025 12:39 19m 42s rocqworker
rocqworker
January 6, 2025 12:39 19m 42s
rename coqworker -> rocqworker Check conflicts #6171: Commit b76eea2 pushed by SkySkimmer
January 6, 2025 12:39 12s rocqworker
rocqworker
January 6, 2025 12:39 12s
rename coqworker -> rocqworker Windows CI #4363: Commit b76eea2 pushed by SkySkimmer
January 6, 2025 12:39 56m 53s rocqworker
rocqworker
January 6, 2025 12:39 56m 53s
Merge PR #19979: Rocquify usage messages Check conflicts #6170: Commit 863ecc9 pushed by SkySkimmer
January 6, 2025 12:38 11s master
master
January 6, 2025 12:38 11s
Merge PR #19979: Rocquify usage messages GitHub macOS CI #4524: Commit 863ecc9 pushed by SkySkimmer
January 6, 2025 12:38 23m 16s master
master
January 6, 2025 12:38 23m 16s
Merge PR #19979: Rocquify usage messages Windows CI #4362: Commit 863ecc9 pushed by SkySkimmer
January 6, 2025 12:38 1h 13m 17s master
master
January 6, 2025 12:38 1h 13m 17s
Stale PRs Stale PRs #873: Scheduled
January 6, 2025 02:51 2s master
master
January 6, 2025 02:51 2s
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