Skip to content
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.

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

build: pin toolchain #665

Merged
merged 2 commits into from
Sep 26, 2024
Merged

build: pin toolchain #665

merged 2 commits into from
Sep 26, 2024

Conversation

0xaatif
Copy link
Contributor

@0xaatif 0xaatif commented Sep 26, 2024

Closes #660

Copy link
Collaborator

@Nashtare Nashtare left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are we planning on dealing with the cron job soon ? I worry we'll just leave this version hanging forever if not

@0xaatif
Copy link
Contributor Author

0xaatif commented Sep 26, 2024

Are we planning on dealing with the cron job soon ? I worry we'll just leave this version hanging forever if not

It's a fair concern :) Let's track it under #666 (ominous...) and prioritize accordingly

@Nashtare
Copy link
Collaborator

I had missed 666 😄

@Nashtare Nashtare merged commit 24bcba9 into develop Sep 26, 2024
16 checks passed
@Nashtare Nashtare deleted the 0xaatif/pin-toolchain branch September 26, 2024 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

pin toolchain
3 participants