Skip to content

Actions: leanprover-community/mathlib4

Actions

splice-bot (workflow_run)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
splice_bot_wf_run.yaml
2,500+ workflow runs
2,500+ 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
splice-bot (workflow_run) splice-bot (workflow_run) #32667: completed by SproutSeeds
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32666: completed by SproutSeeds
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32665: completed by YaelDillies
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32664: completed by wwylele
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32663: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32662: completed by themathqueen
2s
2s
splice-bot (workflow_run) splice-bot (workflow_run) #32661: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32660: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32659: completed by JX-Mo
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32658: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32657: completed by joelriou
8s
8s
splice-bot (workflow_run) splice-bot (workflow_run) #32656: completed by alreadydone
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32655: completed by mathlib-splicebot Bot
2s
2s
splice-bot (workflow_run) splice-bot (workflow_run) #32654: completed by themathqueen
1m 22s
1m 22s
splice-bot (workflow_run) splice-bot (workflow_run) #32653: completed by YaelDillies
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32652: completed by YaelDillies
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32651: completed by YaelDillies
2s
2s
splice-bot (workflow_run) splice-bot (workflow_run) #32650: completed by YaelDillies
2s
2s
splice-bot (workflow_run) splice-bot (workflow_run) #32649: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32648: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32647: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32646: completed by hawkrobe
11s
11s
splice-bot (workflow_run) splice-bot (workflow_run) #32645: completed by felixpernegger
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32644: completed by felixpernegger
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #32643: completed by wwylele
1s
1s