Skip to content

Actions: isovector/cornelis

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
76 workflow runs
76 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix testsuite CI #160: Pull request #152 opened by phijor
May 17, 2024 17:55 28m 44s phijor:fix-testsuite
phijor:fix-testsuite
May 17, 2024 17:55 28m 44s
Fix testsuite Nix Agda CI #39: Pull request #152 opened by phijor
May 17, 2024 17:55 2m 10s phijor:fix-testsuite
phijor:fix-testsuite
May 17, 2024 17:55 2m 10s
v2.0.0.1 CI #159: Commit 06d6020 pushed by isovector
May 17, 2024 07:26 37m 29s master
master
May 17, 2024 07:26 37m 29s
CI CI #158: by isovector
May 17, 2024 07:26 33m 36s v2001
v2001
May 17, 2024 07:26 33m 36s
Nix Agda CI Nix Agda CI #38: by isovector
May 17, 2024 07:26 4m 36s v2001
v2001
May 17, 2024 07:26 4m 36s
Merge pull request #151 from phijor/fix-missing-sdist-files CI #157: Commit dff1c23 pushed by isovector
May 17, 2024 07:24 33m 20s master
master
May 17, 2024 07:24 33m 20s
Include Agda files needed for tests in sdist CI #156: Pull request #151 opened by phijor
May 16, 2024 17:44 24m 11s phijor:fix-missing-sdist-files
phijor:fix-missing-sdist-files
May 16, 2024 17:44 24m 11s
Merge pull request #149 from phijor/fix-loading-ro-files CI #155: Commit 5fb7f1d pushed by isovector
May 15, 2024 04:56 40m 12s master
master
May 15, 2024 04:56 40m 12s
Ignore failed writes when loading buffer CI #154: Pull request #149 opened by phijor
May 14, 2024 18:09 36m 50s phijor:fix-loading-ro-files
phijor:fix-loading-ro-files
May 14, 2024 18:09 36m 50s
Release v0.2.0.0 CI #153: Commit c97b481 pushed by isovector
April 17, 2024 15:39 1h 3m 12s v0.2.0.0
v0.2.0.0
April 17, 2024 15:39 1h 3m 12s
Release v0.2.0.0 Nix Agda CI #37: Commit c97b481 pushed by isovector
April 17, 2024 15:39 11m 57s v0.2.0.0
v0.2.0.0
April 17, 2024 15:39 11m 57s
Release v0.2.0.0 CI #152: Commit c97b481 pushed by isovector
April 17, 2024 15:39 45m 13s master
master
April 17, 2024 15:39 45m 13s
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