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

feat(saver): flex-1 and flint-1 in kupl/starlab-benchmarks #2

Merged

henrylee97 merged 1 commit into main from saver

Nov 15, 2023

Member

henrylee97 commented Nov 15, 2023

Add saver for the following two benchmark:

ghcr.io/kupl/starlab-benchmarks/c:flint-1
ghcr.io/kupl/starlab-benchmarks/c:flex-1


          feat(saver): flex-1 and flint-1 in kupl/starlab-benchmarks

a30c6fd

henrylee97 added the enhancement label

henrylee97 self-assigned this

github-actions bot commented Nov 15, 2023

📣 All tests passed!

henrylee97 enabled auto-merge (squash)

November 15, 2023 07:54

henrylee97 merged commit bdda2d4 into main

4 checks passed

henrylee97 deleted the saver branch

November 15, 2023 07:54

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

Labels