Skip to content

Actions: lua-vr/variational-principle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

readme Lean Action CI #31: Commit 31e2b9c pushed by lua-vr
1m 58s main
main
1m 58s
readme Compile blueprint #25: Commit 31e2b9c pushed by lua-vr
2m 28s main
main
2m 28s
readme Lean Action CI #30: Commit 85a80e4 pushed by lua-vr
1m 56s main
main
1m 56s
readme Compile blueprint #24: Commit 204c7e2 pushed by lua-vr
2m 54s main
main
2m 54s
readme Lean Action CI #29: Commit 204c7e2 pushed by lua-vr
2m 2s main
main
2m 2s
update verso Compile blueprint #23: Commit 6a01b9f pushed by lua-vr
6m 38s main
main
6m 38s
update verso Lean Action CI #28: Commit 6a01b9f pushed by lua-vr
1m 58s main
main
1m 58s
blueprint: move theorems to their own file Lean Action CI #27: Commit 685844f pushed by lua-vr
1m 51s main
main
1m 51s
blueprint: move theorems to their own file Compile blueprint #22: Commit 685844f pushed by lua-vr
2m 52s main
main
2m 52s
blueprint: implement theorems (stab) Lean Action CI #26: Commit bf40593 pushed by lua-vr
2m 21s main
main
2m 21s
blueprint: implement theorems (stab) Compile blueprint #21: Commit bf40593 pushed by lua-vr
2m 36s main
main
2m 36s
blueprint: add watch script Compile blueprint #20: Commit 461086d pushed by lua-vr
2m 32s main
main
2m 32s
blueprint: add watch script Lean Action CI #25: Commit 461086d pushed by lua-vr
1m 59s main
main
1m 59s
sample blueprint change for test Compile blueprint #19: Commit c039c24 pushed by lua-vr
2m 52s main
main
2m 52s
sample blueprint change for test Lean Action CI #24: Commit c039c24 pushed by lua-vr
1m 57s main
main
1m 57s
try fix the blueprint ci Compile blueprint #18: Commit 724e765 pushed by lua-vr
5m 56s main
main
5m 56s
try fix the blueprint ci Lean Action CI #23: Commit 724e765 pushed by lua-vr
1m 52s main
main
1m 52s
try fix the blueprint ci Lean Action CI #22: Commit 37c8c85 pushed by lua-vr
2m 10s main
main
2m 10s
try fix the blueprint ci Compile blueprint #17: Commit 37c8c85 pushed by lua-vr
14m 59s main
main
14m 59s
try fix the blueprint ci Lean Action CI #21: Commit 6722ce5 pushed by lua-vr
2m 3s main
main
2m 3s
try fix the blueprint ci Compile blueprint #16: Commit 6722ce5 pushed by lua-vr
14m 23s main
main
14m 23s
move to verso blueprint Compile blueprint #15: Commit 838a1c3 pushed by lua-vr
8m 21s main
main
8m 21s
move to verso blueprint Lean Action CI #20: Commit 838a1c3 pushed by lua-vr
2m 26s main
main
2m 26s
clean workflow Compile blueprint #14: Commit 44a3b3d pushed by lua-vr
8m 3s main
main
8m 3s
clean workflow Lean Action CI #19: Commit 44a3b3d pushed by lua-vr
1m 54s main
main
1m 54s