Skip to content
This repository has been archived by the owner on Sep 14, 2023. It is now read-only.

fix: duplicate workflows in push and pull_request #479

Merged
merged 1 commit into from
Dec 21, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions .github/workflows/dev-container.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
name: Dev Container Builds
on:
- pull_request
- push
pull_request:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/fmt.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
name: Check Formatting
on:
- pull_request
- push
pull_request:
push:
branches:
- main
jobs:
check:
name: Check Formatting
Expand Down
8 changes: 5 additions & 3 deletions .github/workflows/spawn_examples.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
name: Spawn Examples
on:
- workflow_dispatch
- push
- pull_request
workflow_dispatch:
pull_request:
push:
branches:
- main
jobs:
generate_example_paths:
name: Generate example paths
Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/spellcheck.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
name: Spellcheck
on:
- pull_request
- push
pull_request:
push:
branches:
- main
jobs:
spellcheck:
runs-on: ubuntu-latest
Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
name: Test
on:
- pull_request
- push
pull_request:
push:
branches:
- main
jobs:
test:
name: Run Tests
Expand Down