Skip to content

Actions: agda/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #146 from phijor/reduce-closure-size CI #151: Commit 9d3347e pushed by isovector
April 8, 2024 17:04 34m 58s master
master
April 8, 2024 17:04 34m 58s
Merge pull request #146 from phijor/reduce-closure-size Nix Agda CI #36: Commit 9d3347e pushed by isovector
April 8, 2024 17:04 2m 37s master
master
April 8, 2024 17:04 2m 37s
Reduce closure size of Nix derivation CI #150: Pull request #146 opened by phijor
April 7, 2024 17:06 47m 40s phijor:reduce-closure-size
phijor:reduce-closure-size
April 7, 2024 17:06 47m 40s
Reduce closure size of Nix derivation Nix Agda CI #35: Pull request #146 opened by phijor
April 7, 2024 17:06 3m 13s phijor:reduce-closure-size
phijor:reduce-closure-size
April 7, 2024 17:06 3m 13s
Merge pull request #145 from malob/update-ghc CI #149: Commit 54b417d pushed by isovector
March 26, 2024 16:53 46m 34s master
master
March 26, 2024 16:53 46m 34s
Merge pull request #145 from malob/update-ghc Nix Agda CI #34: Commit 54b417d pushed by isovector
March 26, 2024 16:53 2m 35s master
master
March 26, 2024 16:53 2m 35s
Update to GHC 9.6.4 CI #148: Pull request #145 opened by malob
March 25, 2024 19:44 36m 56s malob:update-ghc
malob:update-ghc
March 25, 2024 19:44 36m 56s
Update to GHC 9.6.4 Nix Agda CI #33: Pull request #145 opened by malob
March 25, 2024 19:44 3m 52s malob:update-ghc
malob:update-ghc
March 25, 2024 19:44 3m 52s
Merge pull request #143 from silky/auto-close-info-window CI #147: Commit 9d83faa pushed by isovector
March 2, 2024 17:11 28m 41s master
master
March 2, 2024 17:11 28m 41s
Auto-close the info window, when closing the current buffer. CI #146: Pull request #143 opened by silky
March 2, 2024 15:59 38m 53s silky:auto-close-info-window
silky:auto-close-info-window
March 2, 2024 15:59 38m 53s
Merge pull request #140 from silky/remove-duplicate-mappings CI #145: Commit ed9d12f pushed by isovector
February 21, 2024 17:21 33m 36s master
master
February 21, 2024 17:21 33m 36s
Allow running load synchronously CI #143: Pull request #137 opened by googleson78
February 18, 2024 16:48 32m 19s googleson78:gl/sync-load
googleson78:gl/sync-load
February 18, 2024 16:48 32m 19s
Allow running load synchronously Nix Agda CI #32: Pull request #137 opened by googleson78
February 18, 2024 16:48 2m 59s googleson78:gl/sync-load
googleson78:gl/sync-load
February 18, 2024 16:48 2m 59s
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