Skip to content

Actions: vporton/atgt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

trying to rework Filtrator.Primary Lean Action CI #347: Commit a9da74c pushed by vporton
1m 41s main
main
1m 41s
change API Lean Action CI #346: Commit e480faa pushed by vporton
1m 41s main
main
1m 41s
before changes Lean Action CI #345: Commit 1072360 pushed by vporton
2m 37s main
main
2m 37s
misc Lean Action CI #344: Commit eba3394 pushed by vporton
2m 5s main
main
2m 5s
correct defs Lean Action CI #343: Commit 574f135 pushed by vporton
1m 26s main
main
1m 26s
remove superfluous [...] Lean Action CI #342: Commit d22e1ba pushed by vporton
2m 35s main
main
2m 35s
generalized Lean Action CI #341: Commit 97684a9 pushed by vporton
2m 18s main
main
2m 18s
restore atgt.Discont.Topology Lean Action CI #340: Commit 39d887f pushed by vporton
2m 48s main
main
2m 48s
fill sorries Lean Action CI #339: Commit fe5317d pushed by vporton
2m 19s main
main
2m 19s
add exports Lean Action CI #338: Commit 0d04a43 pushed by vporton
2m 15s main
main
2m 15s
theorems about limits of restricted funcoid Lean Action CI #337: Commit d4490de pushed by vporton
1m 52s main
main
1m 52s
both point and filter limits Lean Action CI #336: Commit 610bfb4 pushed by vporton
1m 52s main
main
1m 52s
rename wrongly named definitions Lean Action CI #335: Commit dc82e2a pushed by vporton
2m 3s main
main
2m 3s
ordered Limit.lean Lean Action CI #334: Commit 615a228 pushed by vporton
1m 54s main
main
1m 54s
misc kinds of "plain" limits Lean Action CI #333: Commit e26adc6 pushed by vporton
2m 44s main
main
2m 44s
restore atgt.Funcoid.Topology Lean Action CI #332: Commit 60172c7 pushed by vporton
1m 51s main
main
1m 51s
fix wrong order of arguments Lean Action CI #331: Commit d8d78f2 pushed by vporton
1m 57s main
main
1m 57s
restore atgt.Funcoid Lean Action CI #330: Commit 35bf146 pushed by vporton
2m 8s main
main
2m 8s
remove code Lean Action CI #329: Commit 0b01d6e pushed by vporton
2m 19s main
main
2m 19s
update TODO comment Lean Action CI #328: Commit 22852de pushed by vporton
1m 52s main
main
1m 52s
update comment Lean Action CI #327: Commit 67562a5 pushed by vporton
1m 50s main
main
1m 50s
simplify Lean Action CI #326: Commit 40f075b pushed by vporton
3m 46s main
main
3m 46s
add TODO comments Lean Action CI #325: Commit b88d032 pushed by vporton
2m 41s main
main
2m 41s
revert Lean Action CI #324: Commit 043dba0 pushed by vporton
1m 47s main
main
1m 47s
reworking "Primary" Lean Action CI #323: Commit 8ec1279 pushed by vporton
2m 26s main
main
2m 26s