Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cabal: bump agda2hs-mode to Agda-2.6.4 as well Docs #58: Commit 8e7f12b pushed by omelkonian
October 6, 2023 17:25 54s master
master
October 6, 2023 17:25 54s
Cabal: bump agda2hs-mode to Agda-2.6.4 as well CI #357: Commit 8e7f12b pushed by omelkonian
October 6, 2023 17:25 40m 1s master
master
October 6, 2023 17:25 40m 1s
Update to Agda 2.6.4 CI #356: Pull request #196 synchronize by omelkonian
October 6, 2023 16:28 35m 49s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 16:28 35m 49s
Update to Agda 2.6.4 CI #355: Pull request #196 synchronize by omelkonian
October 6, 2023 16:27 45m 22s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 16:27 45m 22s
Update to Agda 2.6.4 CI #354: Pull request #196 synchronize by omelkonian
October 6, 2023 16:24 21m 2s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 16:24 21m 2s
Update to Agda 2.6.4 CI #353: Pull request #196 synchronize by omelkonian
October 6, 2023 16:11 2m 32s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 16:11 2m 32s
Update to Agda 2.6.4 CI #349: Pull request #196 synchronize by omelkonian
October 6, 2023 14:56 2m 2s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 14:56 2m 2s
Update to Agda 2.6.4 CI #348: Pull request #196 synchronize by jespercockx
October 6, 2023 13:59 2m 6s aliao/agda-2.6.4
aliao/agda-2.6.4
October 6, 2023 13:59 2m 6s
[ re #200 ] Add golden file Docs #57: Commit b2c2365 pushed by jespercockx
September 27, 2023 11:25 56s master
master
September 27, 2023 11:25 56s
[ re #200 ] Add golden file CI #347: Commit b2c2365 pushed by jespercockx
September 27, 2023 11:25 36m 51s master
master
September 27, 2023 11:25 36m 51s
[ fix #200 ] Handle absurd clauses in compileClause Docs #56: Commit 5357ca4 pushed by jespercockx
September 27, 2023 09:39 46s master
master
September 27, 2023 09:39 46s
[ fix #200 ] Handle absurd clauses in compileClause CI #346: Commit 5357ca4 pushed by jespercockx
September 27, 2023 09:39 21m 17s master
master
September 27, 2023 09:39 21m 17s