Skip to content

Actions: isovector/cornelis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #126 from malob/update-ghc Nix Agda CI #27: Commit 4569a83 pushed by isovector
November 7, 2023 07:05 48m 29s master
master
November 7, 2023 07:05 48m 29s
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
Update GHC versions with default as 9.4.7 Nix Agda CI #26: Pull request #126 opened by malob
November 7, 2023 02:08 42m 55s malob:update-ghc
malob:update-ghc
November 7, 2023 02:08 42m 55s
Merge pull request #123 from malob/fix-agda-builds CI #120: Commit d7ec58b pushed by isovector
September 12, 2023 17:47 1h 6m 43s master
master
September 12, 2023 17:47 1h 6m 43s
Merge pull request #123 from malob/fix-agda-builds Nix Agda CI #25: Commit d7ec58b pushed by isovector
September 12, 2023 17:47 58m 30s master
master
September 12, 2023 17:47 58m 30s
Fix Agda builds CI #119: Pull request #123 opened by malob
September 9, 2023 00:04 1h 3m 31s malob:fix-agda-builds
malob:fix-agda-builds
September 9, 2023 00:04 1h 3m 31s
Fix Agda builds Nix Agda CI #24: Pull request #123 opened by malob
September 9, 2023 00:04 52m 53s malob:fix-agda-builds
malob:fix-agda-builds
September 9, 2023 00:04 52m 53s
Merge pull request #122 from malob/fix-mac-ci CI #118: Commit 6e8dd29 pushed by isovector
September 7, 2023 05:06 1h 3m 15s master
master
September 7, 2023 05:06 1h 3m 15s
Merge pull request #122 from malob/fix-mac-ci Nix Agda CI #23: Commit 6e8dd29 pushed by isovector
September 7, 2023 05:06 47m 27s master
master
September 7, 2023 05:06 47m 27s
Improve CI Nix Agda CI #22: Pull request #122 synchronize by malob
September 6, 2023 19:54 29m 49s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 19:54 29m 49s
Improve CI CI #117: Pull request #122 synchronize by malob
September 6, 2023 19:54 1h 13m 20s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 19:54 1h 13m 20s
Improve CI CI #116: Pull request #122 opened by malob
September 6, 2023 18:47 1h 5m 15s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 18:47 1h 5m 15s
Improve CI Nix Agda CI #21: Pull request #122 opened by malob
September 6, 2023 18:47 42m 30s malob:fix-mac-ci
malob:fix-mac-ci
September 6, 2023 18:47 42m 30s
Merge pull request #120 from malob/update-GHCs CI #115: Commit 59cfd2b pushed by isovector
September 6, 2023 18:05 53m 13s master
master
September 6, 2023 18:05 53m 13s
Merge pull request #120 from malob/update-GHCs Nix Agda CI #20: Commit 59cfd2b pushed by isovector
September 6, 2023 18:05 40m 6s master
master
September 6, 2023 18:05 40m 6s
Update GHC versions CI #114: Pull request #120 synchronize by malob
September 6, 2023 18:04 45m 17s malob:update-GHCs
malob:update-GHCs
September 6, 2023 18:04 45m 17s
Update GHC versions Nix Agda CI #19: Pull request #120 synchronize by malob
September 6, 2023 18:04 45m 15s malob:update-GHCs
malob:update-GHCs
September 6, 2023 18:04 45m 15s