Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
665 workflow runs
665 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #169 (#202) Docs #59: Commit b9821f1 pushed by jespercockx
October 11, 2023 14:53 46s master
master
October 11, 2023 14:53 46s
Fix #169 (#202) CI #359: Commit b9821f1 pushed by jespercockx
October 11, 2023 14:53 39m 7s master
master
October 11, 2023 14:53 39m 7s
Fix #169 CI #358: Pull request #202 synchronize by jespercockx
October 11, 2023 11:37 31m 23s jespercockx:Issue169
jespercockx:Issue169
October 11, 2023 11:37 31m 23s
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
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
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
[ 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
[ 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
[ 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
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.