Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add inlining pragma CI #418: Pull request #254 synchronize by flupe
December 15, 2023 14:58 3m 13s flupe:inlining
flupe:inlining
December 15, 2023 14:58 3m 13s
add inlining pragma CI #417: Pull request #254 synchronize by flupe
December 15, 2023 13:05 15m 51s flupe:inlining
flupe:inlining
December 15, 2023 13:05 15m 51s
Add support for custom fixity declarations CI #416: Pull request #158 synchronize by flupe
December 13, 2023 14:27 4m 6s flupe:issue41
flupe:issue41
December 13, 2023 14:27 4m 6s
Bring docs agda version in sync with .cabal file Docs #82: Commit e9598a3 pushed by jespercockx
December 12, 2023 18:52 45s master
master
December 12, 2023 18:52 45s
Bring docs agda version in sync with .cabal file CI #415: Pull request #253 opened by liesnikov
December 12, 2023 14:18 3m 23s liesnikov:agda-version-docs
liesnikov:agda-version-docs
December 12, 2023 14:18 3m 23s
Update version number to 1.3 Docs #81: Commit 7bac88a pushed by jespercockx
December 11, 2023 15:12 48s master
master
December 11, 2023 15:12 48s
Update version number to 1.3 CI #414: Commit 7bac88a pushed by jespercockx
December 11, 2023 15:12 24m 57s master
master
December 11, 2023 15:12 24m 57s
Add a primitive Let that is compiled to let in Haskell CI #413: Pull request #252 opened by jespercockx
December 11, 2023 14:59 24m 40s jespercockx:let
jespercockx:let
December 11, 2023 14:59 24m 40s
New module Erase for dealing with erased and resurrected values CI #412: Pull request #248 synchronize by jespercockx
December 8, 2023 10:45 3m 12s jespercockx:Erase
jespercockx:Erase
December 8, 2023 10:45 3m 12s
Move Thunk.agda from Haskell/Prim to Haskell/Extra CI #411: Pull request #250 opened by jespercockx
December 8, 2023 10:14 2m 50s jespercockx:Thunk
jespercockx:Thunk
December 8, 2023 10:14 2m 50s
New module Loop with loop : (a -> Either a b) -> a -> b CI #410: Pull request #249 opened by jespercockx
December 8, 2023 10:13 4m 13s jespercockx:Loop
jespercockx:Loop
December 8, 2023 10:13 4m 13s
New module Erase for dealing with erased and resurrected values CI #409: Pull request #248 opened by jespercockx
December 8, 2023 10:13 3m 36s jespercockx:Erase
jespercockx:Erase
December 8, 2023 10:13 3m 36s
Add new module Dec for decidability proofs (compiled to Bool) CI #408: Pull request #247 opened by jespercockx
December 8, 2023 10:12 3m 45s jespercockx:Dec
jespercockx:Dec
December 8, 2023 10:12 3m 45s