Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

fix(build): Fixes to JavaScript runtime for latest Q*cert + Fixes to CircleCI #855

Merged
merged 3 commits into from Mar 10, 2022

Conversation

jeromesimeon
Copy link
Member

Changes

  • Rename two runtime operations to align with latest Q*cert compiler
  • Fixes to CircleCI build
  • Some upgrades to OCaml dependencies

Jerome Simeon added 2 commits March 9, 2022 20:25
Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
@coveralls
Copy link

coveralls commented Mar 10, 2022

Coverage Status

Coverage remained the same at 96.108% when pulling 2a16a6c on js-fix-circleci into e29bd7c on master.

@jeromesimeon jeromesimeon merged commit 0fe79c7 into master Mar 10, 2022
@jeromesimeon jeromesimeon deleted the js-fix-circleci branch March 10, 2022 05:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants