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 #74

Merged

bors merged 4 commits into main from ci

Nov 28, 2022

Member

Urhengulas commented Nov 28, 2022

No description provided.

Urhengulas added 4 commits

November 28, 2022 21:21


          CI: Don't run against nightly

b2b14be


          CI: Bump action versions

9c6c9b1


          Update CHANGELOG.md

616ac00


          Satisfy clippy

1ba800b

Member Author

Urhengulas commented Nov 28, 2022

bors r+

Contributor

bors bot commented Nov 28, 2022

Build succeeded:

ci

bors bot merged commit 7ad2c6c into main

bors bot deleted the ci branch

November 28, 2022 22:00

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