Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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. 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