Skip to content

Actions: tb65536/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
2,206 workflow runs
2,206 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
merge continuous integration #2211: Commit ba5cc46 pushed by tb65536
1s tb_id43
tb_id43
1s
Update Mathlib/Combinatorics/SimpleGraph/StronglyRegular.lean continuous integration #2210: Commit 9855b60 pushed by tb65536
10s tb_fix8
tb_fix8
10s
fix continuous integration #2209: Commit 3eac587 pushed by tb65536
6s tb_fix9
tb_fix9
6s
fix continuous integration #2208: Commit 4e2a6b9 pushed by tb65536
1s tb_fix8
tb_fix8
1s
Review continuous integration #2207: Commit 6cedfc2 pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
mk_iff continuous integration #2206: Commit 1b0ffa3 pushed by tb65536
8s tb_smigrp3
tb_smigrp3
8s
priority continuous integration #2205: Commit c13d2d4 pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
more instances continuous integration #2204: Commit 8a1271a pushed by tb65536
10s tb_smigrp3
tb_smigrp3
10s
fix continuous integration #2203: Commit d58107d pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
fix continuous integration #2202: Commit 271ff20 pushed by tb65536
9s tb_smigrp3
tb_smigrp3
9s
Surj instance continuous integration #2201: Commit 6745a6a pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
clean continuous integration #2200: Commit 4d96c2a pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
instances continuous integration #2199: Commit befa148 pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
top/bot instances continuous integration #2198: Commit c276f69 pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
add top lemmas continuous integration #2197: Commit bdafeca pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
docstrings continuous integration #2196: Commit d826df1 pushed by tb65536
2s tb_smigrp3
tb_smigrp3
2s
tmp continuous integration #2195: Commit 1913046 pushed by tb65536
1s tb_smigrp3
tb_smigrp3
1s
fix continuous integration #2194: Commit 50b2972 pushed by tb65536
1s tb_relnorm439
tb_relnorm439
1s
Clean continuous integration #2193: Commit 5f4fb8e pushed by tb65536
1s tb_relnorm439
tb_relnorm439
1s
clean continuous integration #2192: Commit 7d8851d pushed by tb65536
1s tb_relnorm439
tb_relnorm439
1s
fix continuous integration #2191: Commit f1966bb pushed by tb65536
1s tb_relnorm439
tb_relnorm439
1s
fix continuous integration #2190: Commit 7e9febd pushed by tb65536
1s tb_zlat
tb_zlat
1s
fix continuous integration #2189: Commit ae59d5a pushed by tb65536
1s tb_finmulfin
tb_finmulfin
1s
review continuous integration #2188: Commit dad4cbf pushed by tb65536
1s tb_finmulfin
tb_finmulfin
1s
merge continuous integration #2187: Commit ea81ce6 pushed by tb65536
1s tb_doc493
tb_doc493
1s