diff options
| author | liv <mokou@fastmail.com> | 2023-09-04 14:39:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-04 14:39:16 +0200 |
| commit | ad0fad4218d0baa9f6cb24d3292637d0f21aac52 (patch) | |
| tree | c449b718ca8edf61be0755086ff08733907f8184 /.github | |
| parent | 8cb5cba7750a95336a2394c137b2e07202e30da3 (diff) | |
| parent | a5fe578e79914faf932cb8cd2d200a12d9e1af39 (diff) | |
Merge branch 'main' into update-hints-for-vecs2
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/rust.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index bf2a041..1b244b1 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -14,6 +14,8 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 + - name: Fetch & maybe update Cargo.lock + run: cargo fetch --locked - name: Build run: cargo build --verbose - name: Run tests |