Skip to content

Actions: agda/cornelis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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 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 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 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
Cleanup new bindings CI #124: Commit 5676d2b pushed by isovector
December 1, 2023 20:40 6h 5m 12s master
master
December 1, 2023 20:40 6h 5m 12s
Add Latex input bindings CI #123: Commit 86174c3 pushed by isovector
November 30, 2023 22:04 1h 8m 14s master
master
November 30, 2023 22:04 1h 8m 14s
Merge pull request #126 from malob/update-ghc CI #122: Commit 4569a83 pushed by isovector
November 7, 2023 07:05 49m 14s master
master
November 7, 2023 07:05 49m 14s
Update GHC versions with default as 9.4.7 CI #121: Pull request #126 opened by malob
November 7, 2023 02:08 51m 42s malob:update-ghc
malob:update-ghc
November 7, 2023 02:08 51m 42s