This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Repository navigation

Fix CI on non-PR builds - #13769

Merged

DMRobertson merged 2 commits into

Sep 12, 2022

Merged

Fix CI on non-PR builds#13769
DMRobertson merged 2 commits into
developfrom
erikj/rust_ci

Commits on Sep 9, 2022
- Fix CI on non-PR builds
  erikjohnston
  committed
  0150ce6
- Newsfile
  erikjohnston
  committed
  7503149