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

ci: stop pinning specific nightly #3812

Merged

conorsch merged 1 commit into main from 3750-stop-pinning-specific-nightly

Feb 13, 2024

Contributor

conorsch commented Feb 13, 2024

Reverts:

74da90d.
dfa3bba.

and therefore closes #3750.


          ci: stop pinning specific nightly

47a00ae

Reverts:

  * 74da90d.
  * dfa3bba.

and therefore closes #3750.

conorsch temporarily deployed to smoke-test

February 13, 2024 16:58

— with

GitHub Actions Inactive

conorsch merged commit b594006 into main

7 checks passed

conorsch deleted the 3750-stop-pinning-specific-nightly branch

February 13, 2024 17:20

cratelyn added the A-CI/CD label

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

Labels

A-CI/CD