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 without bors #55

Merged

cuviper merged 5 commits into master from farewell-bors

Mar 25, 2024

Owner

cuviper commented Mar 25, 2024

Consolidate CI into one workflow
Upgrade CI to actions/checkout@v4
Update CI toolchains
Set rust-version = "1.0"
Add a summary CI job

cuviper added 5 commits

March 25, 2024 13:33


          Consolidate CI into one workflow

08c75d8


          Upgrade CI to actions/checkout@v4

535a51b


          Update CI toolchains

801d365


          Set rust-version = "1.0"

6d21e12


          Add a summary CI job

8717f69

cuviper merged commit 5e07f6a into master

23 checks passed

cuviper deleted the farewell-bors branch

March 25, 2024 20:45

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