Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
306 workflow runs
306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: invoke elan explicitly (#14) CI #81: Commit 60b5dbc pushed by david-christiansen
April 19, 2024 14:10 1m 2s main
main
April 19, 2024 14:10 1m 2s
fix: invoke elan explicitly CI #80: Pull request #14 synchronize by nomeata
April 19, 2024 14:06 1m 20s nomeata:joachim/lake-from-path
nomeata:joachim/lake-from-path
April 19, 2024 14:06 1m 20s
Try Mac homebrew CI with Elan path changes CI #79: Pull request #16 synchronize by david-christiansen
April 19, 2024 14:05 2m 20s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 14:05 2m 20s
chore: less Mac CI CI #78: Commit 02da67e pushed by david-christiansen
April 19, 2024 14:05 2m 1s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 14:05 2m 1s
Try Mac homebrew CI with Elan path changes CI #77: Pull request #16 synchronize by david-christiansen
April 19, 2024 14:01 1m 11s ci-mac-lake-from-path
ci-mac-lake-from-path
April 19, 2024 14:01 1m 11s
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
ProTip! You can narrow down the results and go further in time using created:<2024-04-08 or the other filters available.