Skip to content

Actions: leanprover-community/mathlib4

Actions

update nolints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nolints.yml
64 workflow runs
64 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
update nolints update nolints #122: Scheduled
10m 40s master
master
10m 40s
update nolints update nolints #121: Scheduled
10m 44s master
master
10m 44s
update nolints update nolints #120: Scheduled
12m 31s master
master
12m 31s
update nolints update nolints #119: Scheduled
11m 3s master
master
11m 3s
update nolints update nolints #118: Scheduled
12m 17s master
master
12m 17s
update nolints update nolints #117: Scheduled
12m 23s master
master
12m 23s
update nolints update nolints #116: Scheduled
11m 41s master
master
11m 41s
update nolints update nolints #115: Scheduled
11m 41s master
master
11m 41s
update nolints update nolints #114: Scheduled
11m 14s master
master
11m 14s
update nolints update nolints #113: Scheduled
13m 51s master
master
13m 51s
update nolints update nolints #112: Scheduled
13m 26s master
master
13m 26s
update nolints update nolints #111: Scheduled
13m 8s master
master
13m 8s
update nolints update nolints #110: Scheduled
12m 55s master
master
12m 55s
update nolints update nolints #109: Scheduled
12m 58s master
master
12m 58s
update nolints update nolints #108: Scheduled
13m 12s master
master
13m 12s
update nolints update nolints #107: Scheduled
13m 0s master
master
13m 0s
update nolints update nolints #106: Scheduled
12m 50s master
master
12m 50s
update nolints update nolints #105: Scheduled
11m 47s master
master
11m 47s
update nolints update nolints #104: Scheduled
11m 55s master
master
11m 55s
update nolints update nolints #103: Scheduled
11m 59s master
master
11m 59s
update nolints update nolints #102: Scheduled
11m 16s master
master
11m 16s
update nolints update nolints #101: Scheduled
11m 18s master
master
11m 18s
update nolints update nolints #100: Scheduled
11m 26s master
master
11m 26s
update nolints update nolints #99: Scheduled
11m 24s master
master
11m 24s
update nolints update nolints #98: Scheduled
11m 31s master
master
11m 31s
⚡