Skip to content

Actions: isovector/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #136 from uf5/master CI #142: Commit c1f926e pushed by isovector
February 2, 2024 23:28 31m 6s master
master
February 2, 2024 23:28 31m 6s
Merge pull request #136 from uf5/master Nix Agda CI #31: Commit c1f926e pushed by isovector
February 2, 2024 23:28 2m 57s master
master
February 2, 2024 23:28 2m 57s
buildVimPluginFrom2Nix is deprecated CI #141: Pull request #136 opened by uf5
February 1, 2024 19:39 33m 14s uf5:master
uf5:master
February 1, 2024 19:39 33m 14s
buildVimPluginFrom2Nix is deprecated Nix Agda CI #30: Pull request #136 opened by uf5
February 1, 2024 19:39 2m 58s uf5:master
uf5:master
February 1, 2024 19:39 2m 58s
Merge pull request #134 from malob/update-ghc CI #140: Commit 0273a74 pushed by isovector
December 20, 2023 15:52 31m 22s master
master
December 20, 2023 15:52 31m 22s
Merge pull request #134 from malob/update-ghc Nix Agda CI #29: Commit 0273a74 pushed by isovector
December 20, 2023 15:52 5m 32s master
master
December 20, 2023 15:52 5m 32s
Update GHC versions with default as 9.4.8 CI #139: Pull request #134 opened by malob
December 20, 2023 12:25 35m 48s malob:update-ghc
malob:update-ghc
December 20, 2023 12:25 35m 48s
Update GHC versions with default as 9.4.8 Nix Agda CI #28: Pull request #134 opened by malob
December 20, 2023 12:25 3m 19s malob:update-ghc
malob:update-ghc
December 20, 2023 12:25 3m 19s
Merge pull request #131 from 4e554c4c/lint CI #138: Commit 8202a42 pushed by isovector
December 7, 2023 17:13 43m 55s master
master
December 7, 2023 17:13 43m 55s
add hlint CI #137: Pull request #131 synchronize by 4e554c4c
December 6, 2023 23:31 41m 41s 4e554c4c:lint
4e554c4c:lint
December 6, 2023 23:31 41m 41s
add hlint CI #136: Pull request #131 synchronize by 4e554c4c
December 6, 2023 23:29 1h 6m 39s 4e554c4c:lint
4e554c4c:lint
December 6, 2023 23:29 1h 6m 39s
Merge pull request #132 from 4e554c4c/fix-priority CI #135: Commit 4884ac6 pushed by isovector
December 5, 2023 16:09 6h 5m 14s master
master
December 5, 2023 16:09 6h 5m 14s
Specify highlight priority CI #134: Pull request #132 opened by 4e554c4c
December 5, 2023 13:35 6h 5m 10s 4e554c4c:fix-priority
4e554c4c:fix-priority
December 5, 2023 13:35 6h 5m 10s
add hlint CI #133: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:41 1h 30m 15s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:41 1h 30m 15s
add hlint CI #132: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:37 1h 36m 11s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:37 1h 36m 11s
add hlint CI #131: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:36 1h 31m 39s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:36 1h 31m 39s
add hlint CI #130: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:20 1h 34m 57s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:20 1h 34m 57s
add hlint lint #4: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:20 17s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:20 17s
add hlint CI #129: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:19 1h 1m 55s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:19 1h 1m 55s
add hlint lint #3: Pull request #131 synchronize by 4e554c4c
December 5, 2023 11:19 16s 4e554c4c:lint
4e554c4c:lint
December 5, 2023 11:19 16s
add hlint CI #128: Pull request #131 synchronize by 4e554c4c
December 4, 2023 19:26 46m 2s 4e554c4c:lint
4e554c4c:lint
December 4, 2023 19:26 46m 2s
add hlint lint #2: Pull request #131 synchronize by 4e554c4c
December 4, 2023 19:26 12s 4e554c4c:lint
4e554c4c:lint
December 4, 2023 19:26 12s
add hlint lint #1: Pull request #131 opened by 4e554c4c
December 4, 2023 19:08 26s 4e554c4c:lint
4e554c4c:lint
December 4, 2023 19:08 26s
add hlint CI #127: Pull request #131 opened by 4e554c4c
December 4, 2023 19:08 6h 5m 11s 4e554c4c:lint
4e554c4c:lint
December 4, 2023 19:08 6h 5m 11s
Merge pull request #130 from favonia/restore-bindings CI #126: Commit 494c57e pushed by isovector
December 2, 2023 16:34 50m 2s master
master
December 2, 2023 16:34 50m 2s