Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: less Mac CI CI #76: Commit c809f9b pushed by david-christiansen
April 19, 2024 14:01 55s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 14:01 55s
Try Mac homebrew CI with Elan path changes CI #75: Pull request #16 opened by david-christiansen
April 19, 2024 13:48 11m 48s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 13:48 11m 48s
Merge remote-tracking branch 'nomeata/joachim/lake-from-path' into ci… CI #74: Commit e8a85b2 pushed by david-christiansen
April 19, 2024 13:48 6m 34s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 13:48 6m 34s
chore: add Mac and homebrew to CI CI #73: Pull request #15 synchronize by david-christiansen
April 19, 2024 13:37 4m 33s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 13:37 4m 33s
chore: add Mac and homebrew to CI CI #72: Commit c7bac67 pushed by david-christiansen
April 19, 2024 13:37 10s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 13:37 10s
chore: add Mac and homebrew to CI CI #71: Pull request #15 opened by david-christiansen
April 19, 2024 13:33 4m 10s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 13:33 4m 10s
chore: add Mac and homebrew to CI CI #70: Commit 328d8fb pushed by david-christiansen
April 19, 2024 13:32 2m 25s ci-mac-homebrew
ci-mac-homebrew
April 19, 2024 13:32 2m 25s
feat: bundle messages that co-occur CI #69: Commit 3d2c5f2 pushed by david-christiansen
April 19, 2024 09:45 1m 25s main
main
April 19, 2024 09:45 1m 25s
feat: bundle messages that co-occur CI #68: Pull request #13 synchronize by david-christiansen
April 19, 2024 09:43 1m 23s stack-info
stack-info
April 19, 2024 09:43 1m 23s
feat: bundle messages that co-occur CI #67: Commit 5c7cbd3 pushed by david-christiansen
April 19, 2024 09:43 1m 27s stack-info
stack-info
April 19, 2024 09:43 1m 27s
feat: bundle messages that co-occur CI #66: Pull request #13 synchronize by david-christiansen
April 19, 2024 09:43 1m 26s stack-info
stack-info
April 19, 2024 09:43 1m 26s
feat: bundle messages that co-occur CI #65: Commit c78277e pushed by david-christiansen
April 19, 2024 09:43 1m 32s stack-info
stack-info
April 19, 2024 09:43 1m 32s
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
ProTip! You can narrow down the results and go further in time using created:<2024-04-03 or the other filters available.