Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

Quiver

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quiver.yml
93 workflow runs
93 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
Quiver Quiver #93: completed by winstonyin-ax
44s
44s
Quiver Quiver #92: completed by winstonyin-ax
33s
33s
Quiver Quiver #91: completed by winstonyin-ax
42s
42s
Quiver Quiver #90: completed by winstonyin-ax
44s
44s
Quiver Quiver #89: completed by winstonyin-ax
31s
31s
Quiver Quiver #88: completed by winstonyin-ax
31s
31s
Quiver Quiver #87: completed by winstonyin-ax
30s
30s
Quiver Quiver #86: completed by winstonyin-ax
30s
30s
Quiver Quiver #85: completed by winstonyin-ax
29s
29s
Quiver Quiver #84: completed by winstonyin-ax
31s
31s
Quiver Quiver #83: completed by winstonyin-ax
31s
31s
Quiver Quiver #82: completed by winstonyin-ax
41s
41s
Quiver Quiver #81: completed by winstonyin-ax
28s
28s
Quiver Quiver #80: completed by winstonyin-ax
31s
31s
Quiver Quiver #79: completed by winstonyin-ax
30s
30s
Quiver Quiver #78: completed by winstonyin-ax
23s
23s
Quiver Quiver #77: completed by winstonyin-ax
1m 13s
1m 13s
Quiver Quiver #76: completed by winstonyin-ax
1m 35s
1m 35s
Quiver Quiver #75: completed by winstonyin-ax
1m 30s
1m 30s
Quiver Quiver #74: completed by winstonyin-ax
1m 16s
1m 16s
Quiver Quiver #73: completed by winstonyin-ax
1m 29s
1m 29s
Quiver Quiver #72: completed by winstonyin-ax
1m 19s
1m 19s
Quiver Quiver #71: completed by winstonyin-ax
1m 31s
1m 31s
Quiver Quiver #70: completed by winstonyin-ax
1m 36s
1m 36s
Quiver Quiver #69: completed by winstonyin-ax
1m 26s
1m 26s