This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Bumped to latest nightly #1186

Merged

jorgecarleitao merged 2 commits into jorgecarleitao:main from gyscos:main

Jul 26, 2022

+19 −16

Merged

Bumped to latest nightly #1186

Bump nightly version used in CI

Workflow runs completed with no jobs