Skip to content

Actions: leanprover/nerodia

Actions

CD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cd.yml
66 workflow runs
66 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: PyTuple CD #66: Commit 739b012 pushed by tydeu
8m 12s dev/tuple
dev/tuple
8m 12s
feat: PyTuple CD #65: Commit 43417f2 pushed by tydeu
7m 12s dev/tuple
dev/tuple
7m 12s
feat: PyTuple CD #64: Commit a7f4fb3 pushed by tydeu
8m 21s dev/tuple
dev/tuple
8m 21s
feat: PyTuple CD #63: Commit 3839332 pushed by tydeu
7m 17s dev/tuple
dev/tuple
7m 17s
chore: release lean-v4.35.0 CD #62: Commit d7b7419 pushed by tydeu
5m 13s master
master
5m 13s
CD CD #61: Manually run by tydeu
6m 35s release/lean-v4.35
release/lean-v4.35
6m 35s
CD CD #60: Manually run by tydeu
6m 14s master
master
6m 14s
chore: release lean-v4.35.0 CD #59: Commit d7b7419 pushed by tydeu
6m 54s lean-v4.35
lean-v4.35
6m 54s
chore: release lean-v4.35.0 CD #58: Commit d7b7419 pushed by tydeu
6m 52s lean-v4.35.0
lean-v4.35.0
6m 52s
chore: release lean-v4.35.0 CD #57: Commit d7b7419 pushed by tydeu
6m 49s release/lean-v4.35
release/lean-v4.35
6m 49s
feat: PyFloat and Float type conversions CD #56: Commit af489f0 pushed by tydeu
6m 43s next
next
6m 43s
feat: PyFloat and Float type conversions CD #55: Commit a926014 pushed by tydeu
6m 49s next
next
6m 49s
chore: update to Lean 4.35 CD #54: Commit 0ee17fb pushed by tydeu
4m 34s next
next
4m 34s
chore: update to Lean 4.35 CD #53: Commit 73ef052 pushed by tydeu
6h 0m 28s next
next
6h 0m 28s
feat: PyTuple CD #52: Commit e062e70 pushed by tydeu
7m 59s dev/tuple
dev/tuple
7m 59s
feat: PyTuple CD #51: Commit 1ac3d23 pushed by tydeu
6m 36s dev/tuple
dev/tuple
6m 36s
feat: PyTuple CD #50: Commit 3f766d4 pushed by tydeu
7m 51s dev/tuple
dev/tuple
7m 51s
feat: PyTuple CD #49: Commit ffa6d12 pushed by tydeu
7m 52s dev/tuple
dev/tuple
7m 52s
feat: PyTuple CD #48: Commit 9556a50 pushed by tydeu
7m 52s dev/tuple
dev/tuple
7m 52s
chore: release lean-v4.34.1 CD #47: Commit 536f467 pushed by tydeu
7m 33s master
master
7m 33s
chore: release lean-v4.34.1 CD #46: Commit 536f467 pushed by tydeu
6m 9s lean-v4.34
lean-v4.34
6m 9s
CD CD #45: Manually run by tydeu
7m 31s release/lean-v4.34
release/lean-v4.34
7m 31s
chore: release lean-v4.34.1 CD #44: Commit 536f467 pushed by tydeu
7m 11s lean-v4.34.1
lean-v4.34.1
7m 11s
chore: release lean-v4.34.1 CD #43: Commit 536f467 pushed by tydeu
7m 12s release/lean-v4.34
release/lean-v4.34
7m 12s
CD CD #42: Manually run by tydeu
7m 35s release/lean-v4.34
release/lean-v4.34
7m 35s