Skip to content

Update libseff to latest version, and minor updates#61

Open
teofr wants to merge 8 commits intoeffect-handlers:mainfrom
teofr:update-libseff
Open

Update libseff to latest version, and minor updates#61
teofr wants to merge 8 commits intoeffect-handlers:mainfrom
teofr:update-libseff

Conversation

@teofr
Copy link
Contributor

@teofr teofr commented Aug 30, 2024 •
edited
Loading

  • Updated libseff and benchmarks
  • Updated libseff's Dockerfile to reuse common one
  • Updated koka's minor to 2.4.2
  • Made benchmarks export also a json, it's sometimes easier to parse and it has more information
  • Add extra docker args to Makefile

@dhil dhil requested a review from jasigal August 30, 2024 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jasigal jasigal Awaiting requested review from jasigal

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@teofr