Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: invoke elan explicitly CI #64: Pull request #14 synchronize by nomeata
April 17, 2024 12:32 1m 3s nomeata:joachim/lake-from-path
nomeata:joachim/lake-from-path
April 17, 2024 12:32 1m 3s
fix: invoke elan explicitly CI #63: Pull request #14 synchronize by nomeata
April 17, 2024 12:31 1m 6s nomeata:joachim/lake-from-path
nomeata:joachim/lake-from-path
April 17, 2024 12:31 1m 6s
fix: invoke elan explicitly CI #62: Pull request #14 synchronize by nomeata
April 17, 2024 12:29 56s nomeata:joachim/lake-from-path
nomeata:joachim/lake-from-path
April 17, 2024 12:29 56s
fix: invoke elan explicitly CI #61: Pull request #14 opened by nomeata
April 17, 2024 09:32 2m 17s nomeata:joachim/lake-from-path
nomeata:joachim/lake-from-path
April 17, 2024 09:32 2m 17s
feat: bundle messages that co-occur CI #60: Pull request #13 opened by david-christiansen
April 9, 2024 09:13 1m 23s stack-info
stack-info
April 9, 2024 09:13 1m 23s
feat: bundle messages that co-occur CI #59: Commit 35bc13d pushed by david-christiansen
April 9, 2024 09:11 1m 31s stack-info
stack-info
April 9, 2024 09:11 1m 31s
chore: add a newer nightly to the build matrix CI #58: Commit 9f51556 pushed by david-christiansen
April 8, 2024 19:42 1m 27s main
main
April 8, 2024 19:42 1m 27s
feat: add compatilibity shim system CI #57: Pull request #12 synchronize by david-christiansen
April 8, 2024 19:40 1m 29s compat
compat
April 8, 2024 19:40 1m 29s
chore: add a newer nightly to the build matrix CI #56: Commit 2f36a39 pushed by david-christiansen
April 8, 2024 19:40 1m 28s compat
compat
April 8, 2024 19:40 1m 28s
feat: add compatilibity shim system CI #55: Pull request #12 opened by david-christiansen
April 8, 2024 19:33 1m 18s compat
compat
April 8, 2024 19:33 1m 18s
feat: add compatilibity shim system CI #54: Commit 026f1ce pushed by david-christiansen
April 8, 2024 19:32 1m 24s compat
compat
April 8, 2024 19:32 1m 24s
chore: add v4.7.0 to build matrix CI #53: Commit b1bc281 pushed by david-christiansen
April 3, 2024 08:48 1m 33s main
main
April 3, 2024 08:48 1m 33s
chore: add v4.7.0 to build matrix CI #52: Pull request #11 opened by david-christiansen
April 3, 2024 08:46 1m 27s 4-7-0
4-7-0
April 3, 2024 08:46 1m 27s
chore: add v4.7.0 to build matrix CI #51: Commit fd49a57 pushed by david-christiansen
April 3, 2024 08:46 1m 28s 4-7-0
4-7-0
April 3, 2024 08:46 1m 28s
fix: don't render all branches of choice nodes CI #50: Commit 771681e pushed by david-christiansen
March 21, 2024 08:01 1m 20s main
main
March 21, 2024 08:01 1m 20s
fix: don't render all branches of choice nodes CI #49: Pull request #8 opened by david-christiansen
March 21, 2024 07:58 1m 18s choice-fix
choice-fix
March 21, 2024 07:58 1m 18s
fix: don't render all branches of choice nodes CI #48: Commit f097729 pushed by david-christiansen
March 21, 2024 07:57 1m 22s choice-fix
choice-fix
March 21, 2024 07:57 1m 22s
fix: preserve trailing whitespace after embedded example terms CI #47: Pull request #7 opened by david-christiansen
March 20, 2024 13:53 1m 9s ws-ex
ws-ex
March 20, 2024 13:53 1m 9s
fix: preserve trailing whitespace after embedded example terms CI #46: Commit 7d742a8 pushed by david-christiansen
March 20, 2024 13:25 1m 10s main
main
March 20, 2024 13:25 1m 10s
fix: preserve trailing whitespace after embedded example terms CI #45: Commit 1154b1d pushed by david-christiansen
March 20, 2024 13:24 1m 0s ws-ex
ws-ex
March 20, 2024 13:24 1m 0s
fix: highlighting facet dependencies (#6) CI #44: Commit cd4d0a3 pushed by david-christiansen
March 19, 2024 21:05 57s main
main
March 19, 2024 21:05 57s
fix: highlighting facet dependencies CI #43: Pull request #6 opened by david-christiansen
March 19, 2024 20:47 1m 36s rebuilding
rebuilding
March 19, 2024 20:47 1m 36s
fix: highlighting facet dependencies CI #42: Commit 0e0810c pushed by david-christiansen
March 19, 2024 20:47 57s rebuilding
rebuilding
March 19, 2024 20:47 57s
feat: track errors in examples more precisely (#5) CI #41: Commit ec2ba38 pushed by david-christiansen
March 19, 2024 07:48 1m 0s main
main
March 19, 2024 07:48 1m 0s
feat: track errors in examples more precisely CI #40: Pull request #5 opened by david-christiansen
March 19, 2024 07:14 1m 2s example-errors
example-errors
March 19, 2024 07:14 1m 2s