New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bump Obliv-C Version #68

Merged

gutjuri merged 3 commits into master from bump-obliv-c

Sep 14, 2023

Collaborator

gutjuri commented May 30, 2023

Make the Obliv-C Docker image compile again
Update the Ubuntu version
Update Obliv-C version

gutjuri added 2 commits

May 30, 2023 08:31


          bump obliv c

2c94f6c


          Obliv-C: test script no longer available

b683c28

gutjuri mentioned this pull request

Update framework versions #71

Open

15 tasks


          fix typo

d020274

Collaborator Author

gutjuri commented Sep 14, 2023

We cannot update the docker base image further than 20.04 because of samee/obliv-c#109

gutjuri merged commit 0635ec0 into master

gutjuri deleted the bump-obliv-c branch

September 14, 2023 07:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment