Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

Sync upstream finalize

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sync_finalize.yml
18 workflow runs
18 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 #18: completed by winstonyin-ax
2s
2s
Sync upstream finalize Sync upstream finalize #17: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #16: completed by winstonyin-ax
2s
2s
Sync upstream finalize Sync upstream finalize #15: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #14: completed by winstonyin-ax
13s
13s
Sync upstream finalize Sync upstream finalize #13: completed by winstonyin-ax
2s
2s
Sync upstream finalize Sync upstream finalize #12: completed by winstonyin-ax
16s
16s
Sync upstream finalize Sync upstream finalize #11: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #10: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #9: completed by winstonyin-ax
7s
7s
Sync upstream finalize Sync upstream finalize #8: completed by winstonyin-ax
Skipped
Skipped
Sync upstream finalize Sync upstream finalize #7: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #6: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #5: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #4: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #3: completed by winstonyin-ax
9s
9s
Sync upstream finalize Sync upstream finalize #2: completed by winstonyin-ax
1s
1s
Sync upstream finalize Sync upstream finalize #1: completed by winstonyin-ax
1s
1s