Skip to content

Actions: agda/agda2hs

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

Add dependencies in test/Makefile
Docs #73: Commit 32cdc89 pushed by jespercockx
November 29, 2023 09:09 39s master
November 29, 2023 09:09 39s
Add dependencies in test/Makefile
CI #395: Commit 32cdc89 pushed by jespercockx
November 29, 2023 09:09 3m 0s master
November 29, 2023 09:09 3m 0s
gitignore agda2hs-mode
Docs #72: Commit e731d27 pushed by jespercockx
November 29, 2023 08:52 1m 50s master
November 29, 2023 08:52 1m 50s
Add coerce primitive
CI #394: Pull request #237 opened by naucke
November 28, 2023 21:10 3m 35s naucke:coerce
November 28, 2023 21:10 3m 35s
gitignore agda2hs-mode
CI #393: Pull request #236 opened by naucke
November 28, 2023 21:08 4m 47s naucke:ignore-mode
November 28, 2023 21:08 4m 47s
Add dependencies in test/Makefile
CI #392: Pull request #235 opened by naucke
November 28, 2023 21:08 3m 18s naucke:makedeps
November 28, 2023 21:08 3m 18s
fix module application
Docs #71: Commit ff7ad5c pushed by jespercockx
November 28, 2023 11:02 42s master
November 28, 2023 11:02 42s
fix module application
CI #391: Commit ff7ad5c pushed by jespercockx
November 28, 2023 11:02 3m 54s master
November 28, 2023 11:02 3m 54s
bump bounds
CI #390: Pull request #234 opened by flupe
November 27, 2023 16:19 14m 56s flupe:bump-ghc
November 27, 2023 16:19 14m 56s
allow erased module arguments
CI #389: Pull request #229 synchronize by flupe
November 27, 2023 15:55 23m 24s flupe:module-args
November 27, 2023 15:55 23m 24s
update documentation
CI #388: Commit e4bca58 pushed by flupe
November 27, 2023 14:45 26m 39s master
November 27, 2023 14:45 26m 39s
update documentation
Docs #70: Commit e4bca58 pushed by flupe
November 27, 2023 14:45 45s master
November 27, 2023 14:45 45s
Lawful proofs
CI #387: Pull request #232 opened by odderwiser
November 26, 2023 23:25 26m 3s odderwiser:master
November 26, 2023 23:25 26m 3s
allow erased module arguments
CI #386: Pull request #229 synchronize by flupe
November 24, 2023 14:12 25m 43s flupe:module-args
November 24, 2023 14:12 25m 43s
allow erased module arguments
CI #385: Pull request #229 synchronize by flupe
November 16, 2023 15:35 17m 59s flupe:module-args
November 16, 2023 15:35 17m 59s
allow erased module arguments
CI #384: Pull request #229 opened by flupe
November 14, 2023 16:11 28m 27s flupe:module-args
November 14, 2023 16:11 28m 27s
Refactor config file & custom rewrites
CI #383: Pull request #225 synchronize by flupe
November 13, 2023 13:21 5m 3s 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
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
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
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
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
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
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
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
November 7, 2023 15:26 6m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.