Skip to content

Actions: themathqueen/monlib

Actions

.github/workflows/lean_doc.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_doc.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cache .github/workflows/lean_doc.yml #44: Commit dd788c1 pushed by themathqueen
March 20, 2024 10:22 27m 24s main
main
March 20, 2024 10:22 27m 24s
cache .github/workflows/lean_doc.yml #43: Commit c5e34e3 pushed by themathqueen
March 15, 2024 19:48 27m 44s main
main
March 15, 2024 19:48 27m 44s
fix docstring .github/workflows/lean_doc.yml #42: Commit 31a28bf pushed by themathqueen
March 12, 2024 02:46 27m 10s main
main
March 12, 2024 02:46 27m 10s
cache matrix_order .github/workflows/lean_doc.yml #41: Commit 3252a03 pushed by themathqueen
March 12, 2024 01:58 29m 8s main
main
March 12, 2024 01:58 29m 8s
cache .github/workflows/lean_doc.yml #40: Commit 63d2a7b pushed by themathqueen
March 10, 2024 00:20 26m 13s main
main
March 10, 2024 00:20 26m 13s
cache .github/workflows/lean_doc.yml #39: Commit 3025768 pushed by themathqueen
March 8, 2024 22:10 28m 53s main
main
March 8, 2024 22:10 28m 53s
adding pi to examples .github/workflows/lean_doc.yml #38: Commit 7b21f52 pushed by themathqueen
March 8, 2024 20:12 45m 3s main
main
March 8, 2024 20:12 45m 3s
symm_map .github/workflows/lean_doc.yml #37: Commit 233fb80 pushed by themathqueen
March 6, 2024 22:24 25m 59s main
main
March 6, 2024 22:24 25m 59s
cache .github/workflows/lean_doc.yml #36: Commit 7463fa9 pushed by themathqueen
March 6, 2024 22:24 27m 54s symm
symm
March 6, 2024 22:24 27m 54s
update .github/workflows/lean_doc.yml #35: Commit 980736f pushed by themathqueen
March 6, 2024 22:14 25m 59s symm
symm
March 6, 2024 22:14 25m 59s
cache .github/workflows/lean_doc.yml #34: Commit 12a1f5a pushed by themathqueen
March 2, 2024 14:49 26m 48s symm
symm
March 2, 2024 14:49 26m 48s
symm_map .github/workflows/lean_doc.yml #33: Commit d15a542 pushed by themathqueen
March 2, 2024 14:36 25m 35s symm
symm
March 2, 2024 14:36 25m 35s
more stuff on to_matrix, lmul, rmul .github/workflows/lean_doc.yml #32: Commit e8507f4 pushed by themathqueen
March 1, 2024 23:18 26m 38s main
main
March 1, 2024 23:18 26m 38s
fix .github/workflows/lean_doc.yml #31: Commit df669bb pushed by themathqueen
March 1, 2024 20:34 26m 49s main
main
March 1, 2024 20:34 26m 49s
schur_idemp star-pres .github/workflows/lean_doc.yml #30: Commit 5d5e3a5 pushed by themathqueen
March 1, 2024 19:51 25m 48s main
main
March 1, 2024 19:51 25m 48s
cache .github/workflows/lean_doc.yml #29: Commit 30126db pushed by themathqueen
March 1, 2024 13:00 26m 53s main
main
March 1, 2024 13:00 26m 53s
added Psi .github/workflows/lean_doc.yml #28: Commit a1ff941 pushed by themathqueen
March 1, 2024 00:20 25m 32s main
main
March 1, 2024 00:20 25m 32s
fix .github/workflows/lean_doc.yml #27: Commit dd84aa0 pushed by themathqueen
February 26, 2024 12:57 26m 23s main
main
February 26, 2024 12:57 26m 23s
fix .github/workflows/lean_doc.yml #26: Commit 9f0f632 pushed by themathqueen
February 25, 2024 23:32 25m 53s main
main
February 25, 2024 23:32 25m 53s
cache .github/workflows/lean_doc.yml #25: Commit 8fe2350 pushed by themathqueen
February 25, 2024 19:32 26m 53s main
main
February 25, 2024 19:32 26m 53s
moving stuff .github/workflows/lean_doc.yml #24: Commit 61fee90 pushed by themathqueen
February 23, 2024 18:41 25m 59s main
main
February 23, 2024 18:41 25m 59s
cache .github/workflows/lean_doc.yml #23: Commit 9586030 pushed by themathqueen
February 16, 2024 13:24 26m 42s main
main
February 16, 2024 13:24 26m 42s
is_block_diagonal_alg_equiv .github/workflows/lean_doc.yml #22: Commit bc91bbd pushed by themathqueen
February 16, 2024 07:39 25m 53s main
main
February 16, 2024 07:39 25m 53s
another commit .github/workflows/lean_doc.yml #21: Commit 7676ea7 pushed by themathqueen
February 14, 2024 21:04 26m 42s main
main
February 14, 2024 21:04 26m 42s
cache lean_doc.yml .github/workflows/lean_doc.yml #20: Commit b930352 pushed by themathqueen
February 9, 2024 21:54 26m 24s main
main
February 9, 2024 21:54 26m 24s