Skip to content

Actions: leanprover-community/mathlib4

Actions

Commit Verification (workflow_run)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commit_verification_wf_run.yml
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
Commit Verification (workflow_run) Commit Verification (workflow_run) #32029: completed by Jun2M
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32028: completed by Jun2M
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32027: completed by sweeneyde
9s
9s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32026: completed by mathlib-update-dependencies Bot
8s
8s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32025: completed by NoahW314
10s
10s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32024: completed by AlexeyMilovanov
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32023: completed by pre-commit-ci-lite Bot
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32022: completed by DrDMT-VR
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32021: completed by TJHeeringa
8s
8s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32020: completed by DrDMT-VR
10s
10s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32019: completed by DrDMT-VR
8s
8s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32018: completed by DrDMT-VR
11s
11s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32017: completed by SproutSeeds
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32016: completed by SproutSeeds
13s
13s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32015: completed by AlexeyMilovanov
8s
8s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32014: completed by martinamaggio
8s
8s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32013: completed by D-Thomine
10s
10s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32012: completed by felixpernegger
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32011: completed by felixpernegger
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32010: completed by bixbyr
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32009: completed by themathqueen
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32008: completed by JX-Mo
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32007: completed by themathqueen
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32006: completed by mathlib-splicebot Bot
6s
6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #32005: completed by acmepjz
6s
6s