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

Refactor config file & custom rewrites CI #383: Pull request #225 synchronize by flupe
November 13, 2023 13:21 5m 3s flupe:refactor
flupe:refactor
November 13, 2023 13:21 5m 3s
Refactor config file & custom rewrites CI #382: Pull request #225 synchronize by flupe
November 13, 2023 13:09 6m 37s flupe:refactor
flupe:refactor
November 13, 2023 13:09 6m 37s
Refactor config file & custom rewrites CI #381: Pull request #225 synchronize by flupe
November 13, 2023 10:49 5m 8s flupe:refactor
flupe:refactor
November 13, 2023 10:49 5m 8s
Refactor config file & custom rewrites CI #380: Pull request #225 synchronize by flupe
November 13, 2023 10:27 6m 40s flupe:refactor
flupe:refactor
November 13, 2023 10:27 6m 40s
Refactor config file & custom rewrites CI #379: Pull request #225 opened by flupe
November 11, 2023 16:39 9m 16s flupe:refactor
flupe:refactor
November 11, 2023 16:39 9m 16s
[fix #219] always qualify unopened imports CI #378: Commit 57811ed pushed by flupe
November 10, 2023 13:50 6m 5s master
master
November 10, 2023 13:50 6m 5s
[fix #219] always qualify unopened imports Docs #69: Commit 57811ed pushed by flupe
November 10, 2023 13:50 52s master
master
November 10, 2023 13:50 52s
[fix #219] always qualify unopened imports CI #377: Pull request #220 opened by flupe
November 8, 2023 14:12 5m 53s flupe:issue219
flupe:issue219
November 8, 2023 14:12 5m 53s
[fix #215] handle automatic projections from let pattern of tuples CI #376: Pull request #216 opened by flupe
November 7, 2023 15:26 6m 53s flupe:issue215
flupe:issue215
November 7, 2023 15:26 6m 53s
[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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.