Skip to content

Actions: jespercockx/agda-core

Actions

Build agda-core

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch to Type in Typing Build agda-core #89: Commit e7e4651 pushed by liesnikov
January 23, 2024 14:14 1m 30s type-in-typing
type-in-typing
January 23, 2024 14:14 1m 30s
switch to Type in Typing Build agda-core #88: Commit b1934fb pushed by liesnikov
January 23, 2024 12:21 1m 27s type-in-typing
type-in-typing
January 23, 2024 12:21 1m 27s
spacing Build agda-core #87: Commit 0ecffe8 pushed by liesnikov
January 23, 2024 10:38 1m 16s main
main
January 23, 2024 10:38 1m 16s
ugly stub for checkCoerce Build agda-core #86: Commit 93976a1 pushed by liesnikov
January 23, 2024 10:38 1m 17s typechecker
typechecker
January 23, 2024 10:38 1m 17s
move to using Type instead of Term in the Typechecker Build agda-core #85: Commit 21a1238 pushed by liesnikov
January 23, 2024 10:29 1m 14s type-in-typechecker
type-in-typechecker
January 23, 2024 10:29 1m 14s
stubby stub Build agda-core #84: Commit ec996d3 pushed by liesnikov
January 22, 2024 17:00 1m 17s type-in-typechecker
type-in-typechecker
January 22, 2024 17:00 1m 17s
ugly stub for checkCoerce Build agda-core #83: Commit 2bb0508 pushed by liesnikov
January 22, 2024 16:39 2m 25s typechecker
typechecker
January 22, 2024 16:39 2m 25s
Change representation of Type to a Sort + a Term (instead of just a T… Build agda-core #82: Commit ec8aa6c pushed by jespercockx
January 22, 2024 16:36 1m 16s main
main
January 22, 2024 16:36 1m 16s
Change representation of Type Build agda-core #81: Pull request #16 synchronize by jespercockx
January 22, 2024 16:34 1m 25s TypeWithSort
TypeWithSort
January 22, 2024 16:34 1m 25s
Change representation of Type to a Sort + a Term (instead of just a T… Build agda-core #80: Commit c212150 pushed by jespercockx
January 22, 2024 16:34 1m 17s TypeWithSort
TypeWithSort
January 22, 2024 16:34 1m 17s
Change representation of Type to a Sort + a Term (instead of just a T… Build agda-core #79: Commit d6720f5 pushed by jespercockx
January 22, 2024 15:57 1m 13s TypeWithSort
TypeWithSort
January 22, 2024 15:57 1m 13s
move to sucSort in the typing too Build agda-core #78: Commit e46093e pushed by liesnikov
January 22, 2024 15:51 1m 22s main
main
January 22, 2024 15:51 1m 22s
move to sucSort in the typing too Build agda-core #77: Commit e46093e pushed by liesnikov
January 22, 2024 15:49 1m 20s typechecker
typechecker
January 22, 2024 15:49 1m 20s
move to sucSort in the typing too Build agda-core #76: Commit e46093e pushed by liesnikov
January 22, 2024 15:47 1m 20s typechecker-tc
typechecker-tc
January 22, 2024 15:47 1m 20s
fix TestReduce (again) Build agda-core #75: Commit a4f4e1e pushed by flupe
January 22, 2024 14:40 1m 14s main
main
January 22, 2024 14:40 1m 14s
agda2hs rewrite Build agda-core #74: Pull request #15 opened by flupe
January 22, 2024 14:40 1m 22s tc
tc
January 22, 2024 14:40 1m 22s
fix TestReduce (again) Build agda-core #73: Commit 65cdb71 pushed by flupe
January 22, 2024 14:37 1m 19s tc
tc
January 22, 2024 14:37 1m 19s
move to sucSort in the typing too Build agda-core #72: Commit c28b842 pushed by liesnikov
January 22, 2024 14:34 1m 27s typechecker
typechecker
January 22, 2024 14:34 1m 27s
make context explicit, drop explicit module arg Build agda-core #71: Commit 807b611 pushed by flupe
January 22, 2024 14:27 1m 15s tc
tc
January 22, 2024 14:27 1m 15s
make agda2hs slightly happier with 1+_ instead of suc Build agda-core #70: Commit fbd95ca pushed by liesnikov
January 22, 2024 13:28 1m 43s typechecker
typechecker
January 22, 2024 13:28 1m 43s
add inferSort Build agda-core #69: Commit af7b6b5 pushed by liesnikov
January 22, 2024 13:23 1m 26s typechecker
typechecker
January 22, 2024 13:23 1m 26s
make context explicit, drop explicit module arg Build agda-core #68: Commit ba2ade9 pushed by flupe
January 22, 2024 10:25 1m 28s tc
tc
January 22, 2024 10:25 1m 28s
drop unused names Build agda-core #67: Commit efb0a47 pushed by liesnikov
January 22, 2024 10:04 1m 30s typechecker
typechecker
January 22, 2024 10:04 1m 30s
more pedantry, making agda2hs happy Build agda-core #66: Commit 5228f2f pushed by flupe
January 19, 2024 16:00 1m 27s tc
tc
January 19, 2024 16:00 1m 27s
Add a global signature for definitions Build agda-core #65: Commit 8a87f51 pushed by jespercockx
January 19, 2024 15:49 2m 8s main
main
January 19, 2024 15:49 2m 8s