Skip to content

Actions: agda/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
9 workflow run results
9 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 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 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 CI #346: Commit 5357ca4 pushed by jespercockx
September 27, 2023 09:39 21m 17s master
master
September 27, 2023 09:39 21m 17s