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

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
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