diff options
| author | Nicolas Paul <n@nc0.fr> | 2023-04-26 22:20:51 +0200 |
|---|---|---|
| committer | Nicolas Paul <n@nc0.fr> | 2023-04-26 22:20:51 +0200 |
| commit | e0ef917dc116fae4f89107412292c13e22e2f962 (patch) | |
| tree | 7c05c7523bd3d04a25ac6f44fd70a6a3cb5236cd /.github | |
| parent | 8ad06294d6d9c7a67a32099e31c93b4f08b9aff2 (diff) | |
Sample push
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc2bc97..ccead32 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -7,7 +7,7 @@ on: push: jobs: ci: - name: CI + name: Continuous Integration runs-on: ${{ matrix.os }} timeout-minutes: 5 strategy: |
