From b18d3097a341a2f289cc0658555bf79c03e31c22 Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Mon, 24 Feb 2020 19:28:14 +0100
Subject: [PATCH] Fix cargo workflow

---
 .github/workflows/rust.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 21738c7..1b38e1c 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -25,6 +25,7 @@ jobs:
 
   cargo_format_src:
     name: Cargo format src/
+    runs-on: ubuntu-latest
     needs: initial_setup
     steps:
       - uses: actions-rs/cargo@v1
@@ -33,6 +34,7 @@ jobs:
           args: --all -- --check
   cargo_format_cbor:
     name: Cargo format libraries/cbor
+    runs-on: ubuntu-latest
     needs: initial_setup
     steps:
       - run: cd libraries/crypto
@@ -42,6 +44,7 @@ jobs:
           args: --all -- --check
   cargo_format_crypto:
     name: Cargo format libraries/crypto
+    runs-on: ubuntu-latest
     needs: initial_setup
     steps:
       - run: cd libraries/crypto
@@ -51,6 +54,7 @@ jobs:
           args: --all -- --check
   cargo_check:
     name: Cargo Check
+    runs-on: ubuntu-latest
     needs: initial_setup
     steps:
       - name: Check OpenSK w/o features
-- 
GitLab