diff options
author | Benjamin Chausse <19275615+ChausseBenjamin@users.noreply.github.com> | 2019-12-31 17:09:14 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-31 17:09:14 -0500 |
commit | 22381c6897cbc3bb6dcea3130d266e3f5333fded (patch) | |
tree | 792cbecf97042d6d6f42bda06251dfd0d9fbb08f | |
parent | fb004d12d11271f59b5ae97eb81096de07380921 (diff) |
Update push.yml
-rw-r--r-- | .github/workflows/push.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 1039ab1..35f877a 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -5,7 +5,7 @@ on: jobs: benchmark: - runs-on: linux + runs-on: ubuntu-latest steps: - name: checkout uses: actions/checkout@v1 |