Skip to content

Actions: jespercockx/agda-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Marks place in code where eta-functions conversion should happen ; Ad… CI #188: Commit 6b7f8e5 pushed by diode-lang
1m 22s eta-equality
eta-equality
1m 22s
Fix likely bug in pretty printer CI #187: Commit deebf43 pushed by diode-lang
1m 21s eta-equality
eta-equality
1m 21s
Possible definition which would require eta-conversion in the type ch… CI #186: Commit 001c13f pushed by diode-lang
1m 31s eta-equality
eta-equality
1m 31s
eta-counterexample gets accepted by agda-core(?) CI #185: Commit 6c52c8d pushed by diode-lang
1m 20s eta-equality
eta-equality
1m 20s
Possible case where agda-core typechecker would need to do eta-reduction CI #184: Commit 223b5a6 pushed by diode-lang
1m 27s eta-equality
eta-equality
1m 27s
eta-functions-expl typechecks when using Church equality CI #183: Commit 17e4b6e pushed by diode-lang
1m 25s eta-equality
eta-equality
1m 25s
This "fix" seems to do something desirable(?) CI #182: Commit e6eded9 pushed by diode-lang
1m 21s eta-equality
eta-equality
1m 21s
Add build instructions to README (#59) CI #181: Commit 77523c9 pushed by jespercockx
2m 14s main
main
2m 14s
Add build instructions to README CI #180: Pull request #59 synchronize by diode-lang
2m 38s diode-lang:update_readme
diode-lang:update_readme
2m 38s
Relax lower bounds on transformers and deepseq CI #177: Commit 82e444f pushed by jespercockx
2m 23s main
main
2m 23s
Fix compilation of the backend CI #176: Commit 7848f57 pushed by jespercockx
1m 58s main
main
1m 58s
Add missing (?) dependencies CI #175: Commit 4be1850 pushed by jespercockx
2m 6s main
main
2m 6s
Fix compilation of the backend CI #174: Commit 7848f57 pushed by jespercockx
2m 2s main
main
2m 2s
caching twice is probably unnecessary CI #173: Commit bc2e7fd pushed by liesnikov
2m 9s main
main
2m 9s
bump other dependencies too CI #172: Commit 5154932 pushed by liesnikov
1m 23s main
main
1m 23s
bump agda dependency CI #171: Commit d8afd8a pushed by liesnikov
1m 6s main
main
1m 6s
bump ci action versions CI #170: Commit 57a2b2a pushed by liesnikov
3m 41s main
main
3m 41s
switch to versioned dependencies CI #169: Commit 8cc82d1 pushed by liesnikov
27s main
main
27s
flake.lock: Update CI #168: Commit 2e0917e pushed by jespercockx
3m 18s main
main
3m 18s
Update all dependencies but nixpkgs in flake.lock Update all dependencies but nixpkgs in flake.lock #1: Manually run by jespercockx
18s main
main
18s
Change the field name of agda2hs-lib from agda2hs to base CI #167: Commit ba76657 pushed by jespercockx
48s main
main
48s
Change the field name of agda2hs-lib from agda2hs to base CI #166: Commit 768ff8a pushed by jespercockx
39s main
main
39s
flake.lock: Update CI #165: Commit 8575bad pushed by jespercockx
38s main
main
38s
Update all dependencies in flake.lock Update all dependencies in flake.lock #9: Manually run by jespercockx
48s main
main
48s
Add no-eta-equality directive to record declarations CI #164: Commit 52a9311 pushed by jespercockx
4m 38s main
main
4m 38s