Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

Sync upstream finalize

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync_finalize.yml
160 workflow runs
160 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
Sync upstream finalize Sync upstream finalize #160: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #159: completed by winstonyin-ax
11s
11s
Sync upstream finalize Sync upstream finalize #158: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #157: completed by winstonyin-ax
7s
7s
Sync upstream finalize Sync upstream finalize #156: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #155: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #154: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #153: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #152: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #151: completed by winstonyin-ax
7s
7s
Sync upstream finalize Sync upstream finalize #150: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #149: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #148: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #147: completed by winstonyin-ax
8s
8s
Sync upstream finalize Sync upstream finalize #146: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #145: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #144: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #143: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #142: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #141: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #140: completed by winstonyin-ax
8s
8s
Sync upstream finalize Sync upstream finalize #139: completed by winstonyin-ax
8s
8s
Sync upstream finalize Sync upstream finalize #138: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #137: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #136: completed by winstonyin-ax
1s
1s