Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow run results
16 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

overlays for inductive_levels refactor Check conflicts #3888: Commit 2154901 pushed by SkySkimmer
September 4, 2023 14:58 17s comind-level-compute
comind-level-compute
September 4, 2023 14:58 17s
overlays for inductive_levels refactor GitHub macOS CI #2242: Commit 2154901 pushed by SkySkimmer
September 4, 2023 14:58 39m 18s comind-level-compute
comind-level-compute
September 4, 2023 14:58 39m 18s
overlays for inductive_levels refactor Windows CI #2080: Commit 2154901 pushed by SkySkimmer
September 4, 2023 14:58 1h 13m 10s comind-level-compute
comind-level-compute
September 4, 2023 14:58 1h 13m 10s
Fix #[warnings] attribute in synterp phase Windows CI #2079: Commit fc6fd21 pushed by SkySkimmer
September 4, 2023 14:55 1h 21m 42s warn-synterp
warn-synterp
September 4, 2023 14:55 1h 21m 42s
Fix #[warnings] attribute in synterp phase Check conflicts #3887: Commit fc6fd21 pushed by SkySkimmer
September 4, 2023 14:55 16s warn-synterp
warn-synterp
September 4, 2023 14:55 16s
Fix #[warnings] attribute in synterp phase GitHub macOS CI #2241: Commit fc6fd21 pushed by SkySkimmer
September 4, 2023 14:55 43m 42s warn-synterp
warn-synterp
September 4, 2023 14:55 43m 42s
Merge PR #17722: [CI] Test MathComp 2 in CI Check conflicts #3886: Commit 75e713f pushed by SkySkimmer
September 4, 2023 14:46 14s master
master
September 4, 2023 14:46 14s
Merge PR #17722: [CI] Test MathComp 2 in CI Windows CI #2078: Commit 75e713f pushed by SkySkimmer
September 4, 2023 14:46 21m 31s master
master
September 4, 2023 14:46 21m 31s
Merge PR #17722: [CI] Test MathComp 2 in CI GitHub macOS CI #2240: Commit 75e713f pushed by SkySkimmer
September 4, 2023 14:46 40m 57s master
master
September 4, 2023 14:46 40m 57s
Merge PR #18009: Bump the MetaCoq CI timeout to 1h30. Windows CI #2077: Commit 8524365 pushed by SkySkimmer
September 4, 2023 12:38 1h 21m 15s master
master
September 4, 2023 12:38 1h 21m 15s
Merge PR #18009: Bump the MetaCoq CI timeout to 1h30. GitHub macOS CI #2239: Commit 8524365 pushed by SkySkimmer
September 4, 2023 12:38 38m 6s master
master
September 4, 2023 12:38 38m 6s
Merge PR #18009: Bump the MetaCoq CI timeout to 1h30. Check conflicts #3885: Commit 8524365 pushed by SkySkimmer
September 4, 2023 12:38 14s master
master
September 4, 2023 12:38 14s
Stale PRs Stale PRs #523: Scheduled
September 4, 2023 02:17 2s master
master
September 4, 2023 02:17 2s
Stale PRs Stale PRs #522: Scheduled
September 1, 2023 02:21 2s master
master
September 1, 2023 02:21 2s
Stale PRs Stale PRs #521: Scheduled
August 31, 2023 02:17 3s master
master
August 31, 2023 02:17 3s
Stale PRs Stale PRs #520: Scheduled
August 30, 2023 02:16 2s master
master
August 30, 2023 02:16 2s