Skip to content

Actions: spanning-tree/mathlib4

Actions

Merge conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
merge_conflicts.yml
1,533 workflow runs
1,533 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge conflicts Merge conflicts #1533: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1532: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1531: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1530: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1529: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1528: Scheduled
3s master
master
3s
Merge conflicts Merge conflicts #1527: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1526: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1525: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1524: Scheduled
Skipped master
master
Skipped
Merge conflicts Merge conflicts #1523: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1522: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1521: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1520: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1519: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1518: Scheduled
10s master
master
10s
Merge conflicts Merge conflicts #1517: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1516: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1515: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1514: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1513: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1512: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1511: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1510: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1509: Scheduled
1s master
master
1s