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

Replace TravisCI with Github Actions. #270

Merged
merged 1 commit into from
Nov 21, 2021
Merged

Replace TravisCI with Github Actions. #270

merged 1 commit into from
Nov 21, 2021

Conversation

jdm
Copy link
Member

@jdm jdm commented Nov 21, 2021

No description provided.

@jdm
Copy link
Member Author

jdm commented Nov 21, 2021

I'm going to go ahead and merge this; the miri task is failing because of rust-lang/rust#91025, but that would be true on TravisCI as well.

@jdm jdm merged commit 218e0bb into master Nov 21, 2021
@RalfJung
Copy link
Contributor

I'm going to go ahead and merge this; the miri task is failing because of rust-lang/rust#91025, but that would be true on TravisCI as well.

FWIW, Miri will just occasionally not work for a few nightlies, so the recommended CI script installs the latest nightly with Miri, instead of relying that the latest nightly has Miri.

@emilio emilio deleted the github-actions branch November 23, 2021 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants