Skip to content

Fix and enfore compilation of benchmarks#341

Merged
d-xo merged 3 commits intomainfrom
bench-update
Jul 31, 2023
Merged

Fix and enfore compilation of benchmarks#341
d-xo merged 3 commits intomainfrom
bench-update

Conversation

@d-xo
Copy link
Collaborator

@d-xo d-xo commented Jul 31, 2023

Description

Extends #301.

  • Fixes compilation of bench.hs
  • Fixes the invocation of the bc test runner there
  • builds the benchmarking harness in ci

Checklist

  • tested locally
  • added automated tests
  • updated the docs
  • updated the changelog

@d-xo d-xo mentioned this pull request Jul 31, 2023
4 tasks
@d-xo d-xo merged commit d1c0bab into main Jul 31, 2023
@d-xo d-xo deleted the bench-update branch July 31, 2023 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants