Build, Test, and Benchmark

Actions

All workflows
Workflows
- Build (cabal) Build (cabal)
- Build (stack) Build (stack)
- Build and test WASM Build and test WASM
- Build, Test, and Benchmark Build, Test, and Benchmark
- cabal-test cabal-test
- Clear cache of closed PR Clear cache of closed PR
- Dependabot Updates Dependabot Updates
- Deploy Deploy
- Haddock Haddock
- Install (v2-cabal) Install (v2-cabal)
Management
- Caches
- Deployments

Build, Test, and Benchmark

Actions

Loading...
Loading

1,199 workflow runs

Re #4271: equip CyclicModuleDependency error with files Build, Test, and Benchmark #5442: Commit 5f82cee pushed by andreasabel

38m 54s master

master

38m 54s

Fix #4271: print filenames with modules in errors Build, Test, and Benchmark #5441: Pull request #8147 opened by andreasabel

38m 17s issue-4271

issue-4271

38m 17s

postpone also CannotEliminateWithPattern Build, Test, and Benchmark #5440: Commit a6cfcb6 pushed by andreasabel

38m 17s master

master

38m 17s

[ fix #8097 ] Don't add metas created by dumbUnifier or assignMeta as… Build, Test, and Benchmark #5439: Commit 8504472 pushed by andreasabel

39m 13s master

master

39m 13s

Fix #8144: NoSuchModule X gives hint if there is a data/record X Build, Test, and Benchmark #5438: Commit 9a31aff pushed by andreasabel

40m 55s master

master

40m 55s

Fix #8144: NoSuchModule X gives hint if there is a data/record X Build, Test, and Benchmark #5437: Pull request #8146 opened by andreasabel

38m 43s issue-8144

issue-8144

38m 43s

Fix for issue #8097 Build, Test, and Benchmark #5436: Pull request #8141 opened by jespercockx

39m 43s jespercockx:Issue8097

jespercockx:Issue8097

39m 43s

Fix #7001: --erasure: don't infer lambdas if user omitted erasure s… Build, Test, and Benchmark #5435: Commit f6dabfd pushed by andreasabel

38m 56s master

master

38m 56s

Test for issue #4420; was fixed in Agda 2.7.0 Build, Test, and Benchmark #5434: Commit 53f5f13 pushed by andreasabel

38m 56s master

master

38m 56s

Fix issue #7001: no longer infer lambdas that have no erasure status on their arguments Build, Test, and Benchmark #5433: Pull request #8055 synchronize by andreasabel

39m 23s issue-7001

issue-7001

39m 23s

Implement a --cubical=no-glue option (#7861) Build, Test, and Benchmark #5432: Commit 4bcf57c pushed by jespercockx

39m 15s master

master

39m 15s

Update agda2-mode.el Build, Test, and Benchmark #5431: Commit c822b5c pushed by andreasabel

38m 44s master

master

38m 44s

Fix #8105: highlight thing shadowed by a clashing definition Build, Test, and Benchmark #5430: Commit 0f42358 pushed by andreasabel

39m 23s master

master

39m 23s

Fix issue #7001: no longer infer lambdas that have no erasure status on their arguments Build, Test, and Benchmark #5429: Pull request #8055 synchronize by andreasabel

38m 38s issue-7001

issue-7001

38m 38s

GHC 9.14 Build, Test, and Benchmark #5428: Pull request #8086 synchronize by andreasabel

39m 18s andreasabel:regression-9.14

andreasabel:regression-9.14

39m 18s

Implement a --cubical=no-glue option Build, Test, and Benchmark #5427: Pull request #7861 synchronize by jespercockx

39m 17s SwampertX:no-glue

SwampertX:no-glue

39m 17s

#8112: Add CannotEliminateWithPattern to the errors that can be deferred Build, Test, and Benchmark #5426: Pull request #8140 opened by plt-amy

41m 1s aliao/issue-8112

aliao/issue-8112

41m 1s

Fix #7941: allow splitting on a variable that stands for a dot pattern Build, Test, and Benchmark #5425: Commit 6448df4 pushed by andreasabel

43m 20s master

master

43m 20s

Fix #7941: allow splitting on a refined variable Build, Test, and Benchmark #5424: Pull request #8137 opened by andreasabel

49m 12s coverage

coverage

49m 12s

Fix #8132 by adding SourceFile to ModuleInfo and SolvedButOpenHoles Build, Test, and Benchmark #5423: Commit a9ed881 pushed by andreasabel

39m 14s master

master

39m 14s

Fix #8132 by adding SourceFile to SolvedButOpenHoles error Build, Test, and Benchmark #5422: Pull request #8135 opened by andreasabel

38m 16s solved-but-open

solved-but-open

38m 16s

Refactor: inline alreadyVisited in getInterface (#8133) Build, Test, and Benchmark #5421: Commit e25f7d4 pushed by andreasabel

39m 42s master

master

39m 42s

Refactor: inline alreadyVisited in getInterface Build, Test, and Benchmark #5420: Pull request #8133 synchronize by andreasabel

1m 31s import

import

1m 31s

Refactor: inline alreadyVisited in getInterface Build, Test, and Benchmark #5419: Pull request #8133 opened by andreasabel

39m 55s import

import

39m 55s

Optimise 'getInteractionPoints' to only return the unsolved IPs Build, Test, and Benchmark #5418: Commit 74d1cff pushed by andreasabel

39m 48s master

master

39m 48s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management