Skip to content

Actions: tb65536/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
736 workflow runs
736 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new file continuous integration #736: Commit 5f53e0e pushed by tb65536
1s tb_fred
tb_fred
1s
nit continuous integration #735: Commit 1fb706e pushed by tb65536
2s tb_preimage_irred
tb_preimage_irred
2s
review continuous integration #734: Commit 61b0962 pushed by tb65536
1s tb_ranks
tb_ranks
1s
variables continuous integration #733: Commit 4b5f9b3 pushed by tb65536
1s tb_ranks
tb_ranks
1s
PR continuous integration #732: Commit 53f0c88 pushed by tb65536
1s tb_ranks
tb_ranks
1s
cleanup continuous integration #731: Commit b089e9f pushed by tb65536
2s tb_chauus
tb_chauus
2s
tidy continuous integration #730: Commit fc36be6 pushed by tb65536
1s tb_chauus
tb_chauus
1s
min_imports continuous integration #729: Commit e42a6ce pushed by tb65536
2s tb_chauus
tb_chauus
2s
cleanup continuous integration #728: Commit cccefc7 pushed by tb65536
1s tb_chauus
tb_chauus
1s
a bit more continuous integration #727: Commit fb925c9 pushed by tb65536
1s tb_conv_refactor
tb_conv_refactor
1s
Update Mathlib/GroupTheory/IsSubnormal.lean continuous integration #726: Commit b89b2bf pushed by tb65536
1s tb_simp
tb_simp
1s
fix continuous integration #725: Commit 9e6b5c2 pushed by tb65536
1s tb_glf
tb_glf
1s
fix continuous integration #724: Commit 142ff35 pushed by tb65536
2s tb_nilp3
tb_nilp3
2s
fix continuous integration #723: Commit 6f41903 pushed by tb65536
1s tb_nilp3
tb_nilp3
1s
docstring continuous integration #722: Commit 3d0f4ce pushed by tb65536
1s tb_nilp3
tb_nilp3
1s
fix continuous integration #721: Commit 62f01f5 pushed by tb65536
1s tb_nilp3
tb_nilp3
1s
fix continuous integration #720: Commit 8179350 pushed by tb65536
1s tb_nilp3
tb_nilp3
1s
fix docstrings continuous integration #719: Commit 0c97be9 pushed by tb65536
2s tb_glf
tb_glf
2s
better docstring continuous integration #718: Commit f7a13d4 pushed by tb65536
2s tb_glf
tb_glf
2s
fix continuous integration #717: Commit c679202 pushed by tb65536
1s tb_simp
tb_simp
1s
to_additivize continuous integration #716: Commit 1a6df3f pushed by tb65536
1s tb_simp
tb_simp
1s
cleanup continuous integration #715: Commit 49ff99b pushed by tb65536
1s tb_nilp3
tb_nilp3
1s
first pass continuous integration #714: Commit 5c175c4 pushed by tb65536
2s tb_nilp3
tb_nilp3
2s
generalize continuous integration #713: Commit 96a5d5a pushed by tb65536
1s tb_encode
tb_encode
1s
a bit more continuous integration #712: Commit 045c393 pushed by tb65536
1m 2s tb_conv_refactor
tb_conv_refactor
1m 2s