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,228 workflow runs

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

Make 'getInteractionPoints' only return unsolved metas Build, Test, and Benchmark #5417: Pull request #8131 opened by andreasabel

38m 29s give

give

38m 29s

Fix #8128: point to previous definition in DuplicateDefinition error Build, Test, and Benchmark #5416: Commit 9b0de17 pushed by andreasabel

39m 36s master

master

39m 36s

Fix #8128: point to previous definition in DuplicateDefinition error Build, Test, and Benchmark #5415: Pull request #8129 opened by andreasabel

39m 8s issue-8128

issue-8128

39m 8s

Cosmetics: make GeneralizeTel name invalid by prefixing with dot Build, Test, and Benchmark #5414: Commit d7b3016 pushed by andreasabel

39m 5s master

master

39m 5s

Fix #8126: don't error-report generalized variables as projections Build, Test, and Benchmark #5413: Pull request #8127 opened by andreasabel

40m 6s issue-8126

issue-8126

40m 6s

Implement {Char, Nat} primitives for JS backend and add related tes… Build, Test, and Benchmark #5412: Commit 0a015f9 pushed by andreasabel

38m 15s master

master

38m 15s

Fix #8122 by removing a spurious reverse. Build, Test, and Benchmark #5411: Commit 8fef9e4 pushed by andreasabel

39m 7s master

master

39m 7s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5410: Pull request #8115 synchronize by TheVeryDarkness

38m 25s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

38m 25s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5409: Pull request #8115 synchronize by TheVeryDarkness

39m 0s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

39m 0s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5408: Pull request #8115 synchronize by TheVeryDarkness

39m 16s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

39m 16s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5407: Pull request #8115 synchronize by TheVeryDarkness

36m 48s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

36m 48s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5406: Pull request #8115 synchronize by TheVeryDarkness

41m 53s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

41m 53s

Fix #8119: Not impossible Build, Test, and Benchmark #5405: Commit 9986c30 pushed by andreasabel

37m 33s master

master

37m 33s

Fix #8119: Dotted expression not impossible Build, Test, and Benchmark #5404: Pull request #8121 opened by szumixie

40m 33s szumixie:issue-8119

szumixie:issue-8119

40m 33s

[workflows] Re #8113 #8114 bump actions/checkout and setup-python Build, Test, and Benchmark #5403: Commit af61c6c pushed by andreasabel

38m 2s master

master

38m 2s

Remove some unnecessary LHS.Unify.LeftInverse computation Build, Test, and Benchmark #5402: Commit 3075bb0 pushed by andreasabel

36m 57s master

master

36m 57s

GHC 9.10.3 Build, Test, and Benchmark #5401: Pull request #8117 opened by andreasabel

40m 1s ghc-9.10.3

ghc-9.10.3

40m 1s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5400: Pull request #8115 synchronize by TheVeryDarkness

42m 40s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

42m 40s

Implement {Char, Nat} primitives for JS backend and add related tests Build, Test, and Benchmark #5399: Pull request #8115 synchronize by TheVeryDarkness

18m 54s TheVeryDarkness:issue7968

TheVeryDarkness:issue7968

18m 54s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management