Skip to content

Actions: janmasrovira/mlda

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean Action CI Lean Action CI #140: by janmasrovira
1m 48s main
main
1m 48s
Lean Action CI Lean Action CI #139: by janmasrovira
1m 54s main
main
1m 54s
Lean Action CI Lean Action CI #138: by janmasrovira
1m 25s main
main
1m 25s
update semitopology pdf to journal version Lean Action CI #137: Commit f327022 pushed by janmasrovira
1m 18s main
main
1m 18s
complete proof of Lemma 4.2.4 Lean Action CI #136: Commit dfc3cd2 pushed by janmasrovira
1m 43s main
main
1m 43s
refine comment Lean Action CI #135: Commit 9df6022 pushed by janmasrovira
1m 58s main
main
1m 58s
add missing section names Lean Action CI #134: Commit 9c65b94 pushed by janmasrovira
2m 6s main
main
2m 6s
add documentation instructions Lean Action CI #133: Commit 5c767b7 pushed by janmasrovira
1m 25s main
main
1m 25s
add documentation instructions Lean Action CI #132: Commit d4066a6 pushed by janmasrovira
1m 34s main
main
1m 34s
fix documentation Lean Action CI #131: Commit 1596355 pushed by janmasrovira
1m 36s main
main
1m 36s
fix documentation Lean Action CI #130: Commit 63df10e pushed by janmasrovira
1m 51s main
main
1m 51s
typo Lean Action CI #129: Commit 9d9c2d3 pushed by janmasrovira
1m 53s main
main
1m 53s
clarify Lemmas namespace Lean Action CI #128: Commit 7943b62 pushed by janmasrovira
1m 41s main
main
1m 41s
add progress messages Lean Action CI #127: Commit 34a89a5 pushed by janmasrovira
1m 57s main
main
1m 57s
add progress messages Lean Action CI #126: Commit 6dc2f26 pushed by janmasrovira
2m 6s main
main
2m 6s
add notation for v1 and v0 Lean Action CI #125: Commit fca3e9e pushed by janmasrovira
1m 39s main
main
1m 39s
add notation for v1 and v0 Lean Action CI #124: Commit 6697d47 pushed by janmasrovira
1m 35s main
main
1m 35s
add section name Lean Action CI #123: Commit 143d4bb pushed by janmasrovira
2m 5s main
main
2m 5s
add section name Lean Action CI #122: Commit b7ab45c pushed by janmasrovira
2m 22s main
main
2m 22s
update ref Lean Action CI #121: Commit 84cff10 pushed by janmasrovira
1m 33s main
main
1m 33s
include link to documentation in the readme Lean Action CI #120: Commit b3d0999 pushed by janmasrovira
1m 23s main
main
1m 23s
add documentation Lean Action CI #119: Commit 925f643 pushed by janmasrovira
2m 5s main
main
2m 5s
deploy docs Lean Action CI #118: Commit efaad02 pushed by janmasrovira
1m 36s main
main
1m 36s
deploy docs Lean Action CI #117: Commit 9349283 pushed by janmasrovira
1m 26s main
main
1m 26s
add docbuild Lean Action CI #116: Commit 43d0f79 pushed by janmasrovira
1m 40s main
main
1m 40s