Skip to content

Actions: janmasrovira/mlda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and Deploy Docs Build and Deploy Docs #24: by janmasrovira
13m 37s main
main
13m 37s
Lean Action CI Lean Action CI #140: by janmasrovira
1m 48s main
main
1m 48s
Build and Deploy Docs Build and Deploy Docs #23: by janmasrovira
8m 58s main
main
8m 58s
Lean Action CI Lean Action CI #139: by janmasrovira
1m 54s main
main
1m 54s
Build and Deploy Docs Build and Deploy Docs #22: by janmasrovira
2m 5s main
main
2m 5s
Lean Action CI Lean Action CI #138: by janmasrovira
1m 25s main
main
1m 25s
update semitopology pdf to journal version Build and Deploy Docs #21: Commit f327022 pushed by janmasrovira
13m 28s main
main
13m 28s
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
complete proof of Lemma 4.2.4 Build and Deploy Docs #20: Commit dfc3cd2 pushed by janmasrovira
13m 43s main
main
13m 43s
refine comment Lean Action CI #135: Commit 9df6022 pushed by janmasrovira
1m 58s main
main
1m 58s
refine comment Build and Deploy Docs #19: Commit 9df6022 pushed by janmasrovira
9m 45s main
main
9m 45s
add missing section names Build and Deploy Docs #18: Commit 9c65b94 pushed by janmasrovira
13m 54s main
main
13m 54s
add missing section names Lean Action CI #134: Commit 9c65b94 pushed by janmasrovira
2m 6s main
main
2m 6s
add documentation instructions Build and Deploy Docs #17: Commit 5c767b7 pushed by janmasrovira
13m 59s main
main
13m 59s
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
add documentation instructions Build and Deploy Docs #16: Commit d4066a6 pushed by janmasrovira
13m 47s main
main
13m 47s
fix documentation Lean Action CI #131: Commit 1596355 pushed by janmasrovira
1m 36s main
main
1m 36s
fix documentation Build and Deploy Docs #15: Commit 1596355 pushed by janmasrovira
14m 8s main
main
14m 8s
fix documentation Lean Action CI #130: Commit 63df10e pushed by janmasrovira
1m 51s main
main
1m 51s
fix documentation Build and Deploy Docs #14: Commit 63df10e pushed by janmasrovira
1m 14s main
main
1m 14s
typo Lean Action CI #129: Commit 9d9c2d3 pushed by janmasrovira
1m 53s main
main
1m 53s
typo Build and Deploy Docs #13: Commit 9d9c2d3 pushed by janmasrovira
1m 33s main
main
1m 33s
clarify Lemmas namespace Build and Deploy Docs #12: Commit 7943b62 pushed by janmasrovira
1m 34s main
main
1m 34s