Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hackworthltd/primer issues and pull requests

#1302 - Replace Selda with something else

Issue - State: open - Opened by dhess 2 months ago
Labels: database

#1301 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 3 months ago - 1 comment
Labels: dependencies, automated

#1300 - chore: `hedgehog` v1.5

Pull Request - State: closed - Opened by dhess 3 months ago

#1299 - chore(hackage): bump `index-state`, more strict PvP

Pull Request - State: closed - Opened by dhess 3 months ago

#1298 - chore(nix): bump dependencies

Pull Request - State: closed - Opened by dhess 3 months ago

#1297 - chore: improved Wasm support

Pull Request - State: closed - Opened by dhess 3 months ago

#1296 - chore(deps): bump benchmark-action/github-action-benchmark from 1.20.3 to 1.20.4

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#1295 - chore(deps): bump actions/checkout from 4.2.0 to 4.2.2

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#1294 - Collapse `source-repository-package` sections for `selda`

Pull Request - State: closed - Opened by georgefst 3 months ago

#1293 - chore(deps): bump actions/checkout from 4.2.0 to 4.2.1

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1292 - chore(deps): bump cachix/install-nix-action from V27 to 30

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#1291 - chore(deps): bump cachix/install-nix-action from V27 to 29

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1290 - chore(deps): bump actions/checkout from 4.1.7 to 4.2.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#1289 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago - 2 comments
Labels: dependencies, automated

#1288 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 4 months ago
Labels: dependencies, automated

#1287 - chore(deps): bump cachix/install-nix-action from V27 to 28

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#1286 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago
Labels: dependencies, automated

#1285 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago
Labels: dependencies, automated

#1284 - Re-enable `hlint`

Issue - State: open - Opened by dhess 5 months ago

#1283 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago
Labels: dependencies, automated

#1282 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 5 months ago
Labels: dependencies, automated

#1281 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago
Labels: dependencies, automated

#1280 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago
Labels: dependencies, automated

#1279 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago
Labels: dependencies, automated

#1278 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago
Labels: dependencies, automated

#1277 - chore(deps): bump docker/login-action from 3.2.0 to 3.3.0

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#1276 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 6 months ago
Labels: dependencies, automated

#1275 - chore: reinstate `cabal-fmt` and `hlint`

Pull Request - State: closed - Opened by dhess 6 months ago

#1274 - chore: upgrade to GHC 9.10.1

Pull Request - State: closed - Opened by dhess 6 months ago - 1 comment

#1273 - chore: fourmolu 0.16.2.0

Pull Request - State: closed - Opened by dhess 6 months ago

#1272 - chore: HLS 2.9

Pull Request - State: closed - Opened by dhess 6 months ago

#1271 - chore(hackage): index-state: 2024-07-13T00:00:00Z

Pull Request - State: closed - Opened by dhess 6 months ago

#1270 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago
Labels: dependencies, automated

#1269 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago
Labels: dependencies, automated

#1268 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago
Labels: dependencies, automated

#1267 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 7 months ago
Labels: dependencies, automated

#1266 - chore(deps): bump actions/checkout from 4.1.6 to 4.1.7

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1265 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago
Labels: dependencies, automated

#1264 - chore: WIP GHC 9.10.1 support

Pull Request - State: closed - Opened by dhess 8 months ago - 3 comments

#1263 - chore: bump Haskell tools and dependencies

Pull Request - State: closed - Opened by dhess 8 months ago

#1262 - chore(hackage): index-state: 2024-06-02T00:00:00Z

Pull Request - State: closed - Opened by dhess 8 months ago

#1261 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 8 months ago - 1 comment
Labels: dependencies, automated

#1260 - chore(deps): bump docker/login-action from 3.1.0 to 3.2.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1259 - chore(deps): bump cachix/cachix-action from 14 to 15

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1258 - chore(deps): bump benchmark-action/github-action-benchmark from 1.20.1 to 1.20.3

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1257 - chore(deps): bump actions/checkout from 4.1.4 to 4.1.6

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1256 - chore(deps): bump cachix/install-nix-action from 26 to 27

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#1255 - chore(deps): bump actions/checkout from 4.1.4 to 4.1.5

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago - 1 comment
Labels: dependencies

#1254 - chore(hackage): index-state: 2024-05-05T00:00:00Z

Pull Request - State: closed - Opened by dhess 9 months ago

#1253 - Investigate `weeder-nix`

Issue - State: open - Opened by dhess 9 months ago
Labels: Nix

#1252 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago
Labels: dependencies, automated

#1251 - chore(deps): bump actions/checkout from 4.1.3 to 4.1.4

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#1250 - chore: minor tooling and doc improvements

Pull Request - State: closed - Opened by dhess 9 months ago

#1249 - chore: do some DRY

Pull Request - State: closed - Opened by dhess 9 months ago

#1248 - chore(deps): bump actions/checkout from 4.1.2 to 4.1.3

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#1247 - Interpreter can't reduce top-level definitions

Issue - State: open - Opened by dhess 9 months ago - 3 comments
Labels: priority: high, bug 🐞, primer

#1246 - `RecordPair TyConName ValConName` does not serialize nicely in the OpenAPI API

Issue - State: open - Opened by dhess 9 months ago
Labels: serialization, bug 🐞

#1245 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 9 months ago
Labels: dependencies, automated

#1244 - feat(primer-api): run evaluation requests outside STM

Pull Request - State: closed - Opened by dhess 9 months ago

#1243 - `tasty_multiple_requests_accepted` property test failures

Issue - State: open - Opened by dhess 9 months ago - 2 comments
Labels: testing, blocked/need-info ❌, CI

#1242 - `tasty_redex_independent` property test failure

Issue - State: open - Opened by dhess 9 months ago
Labels: testing, blocked/need-info ❌

#1241 - feat: expose the interpreter via the various APIs

Pull Request - State: closed - Opened by dhess 9 months ago - 4 comments

#1240 - `tasty_two_interp_agree` property test failure

Issue - State: open - Opened by dhess 9 months ago - 4 comments
Labels: bug 🐞, testing, blocked/need-info ❌, eval, CI

#1239 - Hook interpreter up to API

Issue - State: closed - Opened by dhess 9 months ago
Labels: enhancement, eval, API

#1238 - refactor: do some DRY for full eval tests

Pull Request - State: closed - Opened by dhess 9 months ago

#1237 - Duplication in interpreter implementation

Issue - State: open - Opened by dhess 10 months ago

#1236 - `primer-service`: look into RFC 9457

Issue - State: open - Opened by dhess 10 months ago
Labels: primer-service

#1235 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago
Labels: dependencies, automated

#1234 - chore(hackage): upstream `semirings` supports Wasm now

Pull Request - State: closed - Opened by dhess 10 months ago - 1 comment

#1233 - chore(hackage): bump dependencies to latest versions

Pull Request - State: closed - Opened by dhess 10 months ago - 2 comments

#1232 - chore: upgrade GHC to 9.10

Pull Request - State: closed - Opened by dhess 10 months ago - 2 comments
Labels: Do not merge, WIP

#1231 - ci: fix GitHub workflow for recording benchmark results

Pull Request - State: closed - Opened by dhess 10 months ago

#1230 - ci: benchmarking and Cachix improvements

Pull Request - State: closed - Opened by dhess 10 months ago

#1229 - Benchmark results aren’t fetched from Cachix

Issue - State: closed - Opened by dhess 10 months ago - 3 comments
Labels: bug 🐞, CI

#1228 - chore(benchmarks): new benchmark environment change (20240408.01)

Pull Request - State: closed - Opened by dhess 10 months ago

#1227 - chore(cabal): index-state: 2024-04-07T00:00:00Z

Pull Request - State: closed - Opened by dhess 10 months ago

#1226 - ci: only run Wasm tests once a PR reaches the merge queue

Pull Request - State: closed - Opened by dhess 10 months ago - 2 comments
Labels: Run Wasm tests

#1225 - ci: ensure Nix Buildkite plugin jobs are built on Linux builders

Pull Request - State: closed - Opened by dhess 10 months ago

#1224 - chore: bump GHC to 9.8.2

Pull Request - State: closed - Opened by dhess 10 months ago

#1223 - Use Buildkite artifacts to cache Wasm build artifacts

Issue - State: closed - Opened by dhess 10 months ago - 1 comment
Labels: enhancement, CI

#1222 - Only run Wasm tests on merge queue or workflow dispatch

Issue - State: open - Opened by dhess 10 months ago - 2 comments
Labels: testing, CI, wasm

#1221 - chore(deps): bump benchmark-action/github-action-benchmark from 1.19.3 to 1.20.1

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#1220 - chore(buildkite): switch to new CI system

Pull Request - State: closed - Opened by dhess 10 months ago

#1219 - chore(deps): bump docker/login-action from 3.0.0 to 3.1.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#1218 - chore(deps): bump actions/checkout from 4.1.1 to 4.1.2

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#1217 - chore(deps): bump cachix/install-nix-action from 25 to 26

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#1216 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: dependencies, automated

#1215 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: dependencies, automated

#1214 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 11 months ago
Labels: dependencies, automated

#1213 - chore(deps): bump hashicorp/vault-action from 2.8.0 to 3.0.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#1212 - chore(nix): Update dependencies.

Pull Request - State: closed - Opened by github-actions[bot] 12 months ago
Labels: dependencies, automated

#1200 - Compile Primer programs to Wasm

Issue - State: open - Opened by dhess about 1 year ago
Labels: tracking, long-term goal

#1198 - Property test failure (possibly Wasm-related?)

Issue - State: open - Opened by dhess about 1 year ago - 2 comments
Labels: bug 🐞, testing, blocked/need-info ❌, wasm

#1192 - More robust Wasm support

Issue - State: open - Opened by dhess about 1 year ago
Labels: tracking, wasm

#1187 - feat: interpreter (faster evaluator-to-normal-form)

Pull Request - State: closed - Opened by brprice about 1 year ago - 9 comments

#1173 - Animations

Issue - State: open - Opened by georgefst about 1 year ago - 3 comments

#1165 - Document attempts to speed up typechecking

Issue - State: closed - Opened by dhess over 1 year ago
Labels: priority: high, documentation

#729 - Add OpenTelemetry support

Issue - State: open - Opened by dhess over 2 years ago
Labels: logging

#181 - HLS multi-component bug in primer-service and primer-test

Issue - State: open - Opened by georgefst over 3 years ago - 6 comments
Labels: tracking, blocked/upstream ❌

#132 - Define Primer-the-language

Issue - State: closed - Opened by dhess about 4 years ago - 19 comments