chore: fix typo and improve name on CI (#107)

This commit is contained in:
Marco Pasqualetti
2024-11-16 11:47:53 +01:00
committed by GitHub
parent 6d72ffb876
commit 8552796343
4 changed files with 6 additions and 6 deletions
+2 -2
View File
@@ -13,7 +13,7 @@ on:
jobs:
build:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
name: Check build documentation
name: Check build
timeout-minutes: 15
runs-on: ubuntu-latest
@@ -36,7 +36,7 @@ jobs:
fmt-lint-and-types:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
name: Check format and lint typescript
name: Check format and lint
runs-on: ubuntu-latest
timeout-minutes: 15
+2 -2
View File
@@ -13,7 +13,7 @@ on:
jobs:
build-and-test:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
name: Check build and test typescript
name: Check build and test
timeout-minutes: 15
runs-on: ubuntu-latest
@@ -32,7 +32,7 @@ jobs:
fmt-lint-and-types:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
name: Check format and lint typescript
name: Check format and lint
runs-on: ubuntu-latest
timeout-minutes: 15