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 #213] Properly deal with unboxed records, again CI #375: Commit 15314cd pushed by omelkonian
November 7, 2023 11:27 6m 16s master
master
November 7, 2023 11:27 6m 16s
[fix #213] Properly deal with unboxed records, again Docs #68: Commit 15314cd pushed by omelkonian
November 7, 2023 11:27 40s master
master
November 7, 2023 11:27 40s
[fix #213] Properly deal with unboxed records, again CI #374: Pull request #214 opened by flupe
November 7, 2023 10:47 6m 4s flupe:issue212
flupe:issue212
November 7, 2023 10:47 6m 4s
[ fix #212 ] Be more flexible with unboxed records Docs #67: Commit 330333c pushed by omelkonian
November 6, 2023 16:22 47s master
master
November 6, 2023 16:22 47s
[ fix #212 ] Be more flexible with unboxed records CI #373: Commit 330333c pushed by omelkonian
November 6, 2023 16:22 5m 52s master
master
November 6, 2023 16:22 5m 52s
[ fix #212 ] Be more flexible with unboxed records CI #372: Pull request #213 synchronize by flupe
November 6, 2023 16:12 6m 54s flupe:issue212
flupe:issue212
November 6, 2023 16:12 6m 54s
[ fix #212 ] Be more flexible with unboxed records CI #371: Pull request #213 opened by flupe
November 6, 2023 15:48 5m 25s flupe:issue212
flupe:issue212
November 6, 2023 15:48 5m 25s
[ re #210 ] Add some debug prints CI #370: Commit 9883f96 pushed by jespercockx
October 30, 2023 20:58 28m 47s master
master
October 30, 2023 20:58 28m 47s
[ re #210 ] Add some debug prints Docs #66: Commit 9883f96 pushed by jespercockx
October 30, 2023 20:58 54s master
master
October 30, 2023 20:58 54s
Fix for issue 210 CI #369: Pull request #211 opened by jespercockx
October 30, 2023 14:57 23m 46s jespercockx:Issue210
jespercockx:Issue210
October 30, 2023 14:57 23m 46s
Add change log + update version number to 1.1 CI #368: Commit 50d213e pushed by jespercockx
October 23, 2023 09:33 27m 56s master
master
October 23, 2023 09:33 27m 56s
Add change log + update version number to 1.1 Docs #65: Commit 50d213e pushed by jespercockx
October 23, 2023 09:33 58s master
master
October 23, 2023 09:33 58s
Rewriting main so that it passes a disabled backend when run in inter… Docs #64: Commit 48c98b5 pushed by jespercockx
October 22, 2023 09:22 42s master
master
October 22, 2023 09:22 42s
Rewriting main so that it passes a disabled backend when run in inter… CI #367: Commit 48c98b5 pushed by jespercockx
October 22, 2023 09:22 24m 26s master
master
October 22, 2023 09:22 24m 26s
Fixing Emacs mode CI #366: Pull request #209 opened by viktorcsimma
October 22, 2023 08:45 32m 54s viktorcsimma:fix-emacs-mode
viktorcsimma:fix-emacs-mode
October 22, 2023 08:45 32m 54s
layout fix Docs #63: Commit 47066e8 pushed by jespercockx
October 17, 2023 11:10 46s master
master
October 17, 2023 11:10 46s
Update tutorials to agda 2.6.4 CI #365: Pull request #206 opened by odderwiser
October 16, 2023 16:49 31m 39s odderwiser:master
odderwiser:master
October 16, 2023 16:49 31m 39s
Add Paths_agda2hs to autogen-modules CI #364: Commit c2c5c37 pushed by jespercockx
October 12, 2023 16:07 31m 41s master
master
October 12, 2023 16:07 31m 41s
Add Paths_agda2hs to autogen-modules Docs #62: Commit c2c5c37 pushed by jespercockx
October 12, 2023 16:07 49s master
master
October 12, 2023 16:07 49s
[ fix #185 ] Only drop module parameter arguments of local where fu… CI #363: Commit ffc9fc4 pushed by jespercockx
October 12, 2023 15:54 5m 6s master
master
October 12, 2023 15:54 5m 6s
[ fix #185 ] Only drop module parameter arguments of local where fu… Docs #61: Commit ffc9fc4 pushed by jespercockx
October 12, 2023 15:54 50s master
master
October 12, 2023 15:54 50s
Issue 185 CI #362: Pull request #205 opened by jespercockx
October 12, 2023 15:05 5m 8s jespercockx:Issue185
jespercockx:Issue185
October 12, 2023 15:05 5m 8s
[ fix #201 ] Drop backend when running in interactive mode CI #361: Commit 46c5473 pushed by jespercockx
October 11, 2023 16:04 4m 46s master
master
October 11, 2023 16:04 4m 46s
[ fix #201 ] Drop backend when running in interactive mode Docs #60: Commit 46c5473 pushed by jespercockx
October 11, 2023 16:04 1m 18s master
master
October 11, 2023 16:04 1m 18s
[ fix #201 ] Drop backend when running in interactive mode CI #360: Pull request #204 opened by jespercockx
October 11, 2023 14:59 36m 49s jespercockx:Issue201
jespercockx:Issue201
October 11, 2023 14:59 36m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-10-11 or the other filters available.