Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: agda/agda

Actions

Build, Test, and Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
1,234 workflow runs
1,234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #8298: copatterns in let bindings not impossible Build, Test, and Benchmark #5795: Commit aa4d9d9 pushed by andreasabel
27s master
master
27s
Fix #8298: copatterns in let bindings not impossible Build, Test, and Benchmark #5794: Pull request #8299 opened by szumixie
28m 41s szumixie:issue-8298
szumixie:issue-8298
28m 41s
Doc on polarities: Cite the associated abstract. Build, Test, and Benchmark #5793: Commit e7b0962 pushed by andreasabel
30m 17s master
master
30m 17s
Doc on polarities: Cite the associated abstract. Build, Test, and Benchmark #5792: Pull request #8297 opened by anuyts
29m 46s anuyts:polarities-doc
anuyts:polarities-doc
29m 46s
new feature: quote metas Build, Test, and Benchmark #5791: Pull request #8235 synchronize by rybla
29m 57s quoted-holes
quoted-holes
29m 57s
new feature: quote metas Build, Test, and Benchmark #5790: Pull request #8235 synchronize by rybla
23m 59s quoted-holes
quoted-holes
23m 59s
Made it possible to turn off the occurrence analysis for functions Build, Test, and Benchmark #5789: Pull request #8295 synchronize by nad
29m 57s Added_--no-occurrence-analysis
Added_--no-occurrence-analysis
29m 57s
Build, Test, and Benchmark Build, Test, and Benchmark #5788: Scheduled
39m 6s master
master
39m 6s
Made it possible to turn off the occurrence analysis for functions Build, Test, and Benchmark #5787: Pull request #8295 opened by nad
30m 22s Added_--no-occurrence-analysis
Added_--no-occurrence-analysis
30m 22s
Literate forester without external tool Build, Test, and Benchmark #5786: Pull request #8290 synchronize by dannypsnl
29m 44s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
29m 44s
Fix #3677: print names clashing with operators when parsing failed Build, Test, and Benchmark #5785: Commit a5be68b pushed by andreasabel
31m 2s master
master
31m 2s
Fix #3677: print names clashing with operators when parsing failed Build, Test, and Benchmark #5784: Pull request #8293 opened by andreasabel
31m 41s fix-3677
fix-3677
31m 41s
Separately benchmark Polarity from Positivity; restore forcing of arg… Build, Test, and Benchmark #5783: Commit 11faa6a pushed by andreasabel
29m 39s master
master
29m 39s
Literate forester without external tool Build, Test, and Benchmark #5782: Pull request #8290 synchronize by dannypsnl
38m 26s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
38m 26s
Literate forester without external tool Build, Test, and Benchmark #5781: Pull request #8290 synchronize by dannypsnl
34m 59s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
34m 59s
Literate forester without external tool Build, Test, and Benchmark #5780: Pull request #8290 synchronize by dannypsnl
35m 30s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
35m 30s
Literate forester without external tool Build, Test, and Benchmark #5779: Pull request #8290 synchronize by dannypsnl
37m 35s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
37m 35s
Separately benchmark Polarity from Positivity; restore forcing of argOccurrences Build, Test, and Benchmark #5778: Pull request #8292 opened by andreasabel
30m 51s bench-polarity
bench-polarity
30m 51s
Library management: support defaults-X.Y.Z files Build, Test, and Benchmark #5777: Pull request #8279 synchronize by gallais
31m 15s gallais:defaults-X.Y.Z
gallais:defaults-X.Y.Z
31m 15s
Library management: support defaults-X.Y.Z files Build, Test, and Benchmark #5776: Pull request #8279 synchronize by gallais
29m 53s gallais:defaults-X.Y.Z
gallais:defaults-X.Y.Z
29m 53s
Fix #8287: missing agda2-command declaration for agda2-solve-action Build, Test, and Benchmark #5775: Commit 5c948be pushed by andreasabel
29m 17s master
master
29m 17s
Fix #8287: missing agda2-command declaration for agda2-solve-action Build, Test, and Benchmark #5774: Pull request #8291 opened by andreasabel
30m 22s issue-8287
issue-8287
30m 22s
Literate forester without external tool Build, Test, and Benchmark #5773: Pull request #8290 synchronize by dannypsnl
30m 50s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
30m 50s
Literate forester without external tool Build, Test, and Benchmark #5772: Pull request #8290 synchronize by dannypsnl
32m 25s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
32m 25s
Literate forester without external tool Build, Test, and Benchmark #5771: Pull request #8290 synchronize by dannypsnl
30m 33s dannypsnl:literate-forester-without-external-tool
dannypsnl:literate-forester-without-external-tool
30m 33s