Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.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 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
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
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 #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