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

Update CI #181

Merged

arybczak merged 1 commit into master from update-ci

Sep 10, 2023

Collaborator

arybczak commented Sep 10, 2023

No description provided.


          Update CI

f590658

Collaborator Author

arybczak commented Sep 10, 2023

@mmhat I removed bounds for tasty-bench, it looks like the failure you got was the result of no upper tasty bounds on older versions of tasty-bench.

arybczak merged commit 7a3186a into master

7 checks passed

arybczak deleted the update-ci branch

September 10, 2023 22:14

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

Labels

None yet