New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Fix benches #225

Merged

tarcieri merged 1 commit into master from fix-benches

Nov 15, 2022

Member

tarcieri commented Nov 15, 2022

...and test they build in CI


          Fix benches

a13d7a7

...and test they build in CI

tarcieri requested a review from dignifiedquire

November 15, 2022 14:54

tarcieri merged commit 8f41d20 into master

tarcieri deleted the fix-benches branch

November 15, 2022 17:38

Member

dignifiedquire commented Nov 15, 2022

thanks 🙏

tarcieri mentioned this pull request

Merged

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet