Skip to content
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
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,7 @@ name: CI
on:
pull_request:
branches: [main]
push:
branches: [main]
workflow_dispatch:

permissions: read-all

Expand All @@ -31,6 +30,7 @@ jobs:
- name: TypeScript Check
run: npx tsc --noEmit
- name: Build Check
if: matrix.os == 'ubuntu-latest'
run: npm run build

lint-python:
Expand Down
2 changes: 0 additions & 2 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,6 @@
name: CodeQL

on:
push:
branches: [main]
pull_request:
branches: [main]
workflow_dispatch:
Expand Down
40 changes: 16 additions & 24 deletions .github/workflows/deploy-pages.yml
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
name: Deploy to GitHub Pages

on:
push:
branches: [main]
workflow_run:
workflows: ["CI", "Skill Release"]
workflows: ["Skill Release"]
types: [completed]
workflow_dispatch:

Expand All @@ -18,24 +20,19 @@ concurrency:
jobs:
build:
runs-on: ubuntu-latest
# Production build only: manual dispatch or trusted workflow_run sources.
# Production build only: manual dispatch, push to main, or trusted release workflows.
# PR validation runs in .github/workflows/pages-verify.yml.
if: |
github.event_name == 'workflow_dispatch' ||
(
github.event_name == 'push' &&
github.ref_name == 'main'
) ||
(
github.event_name == 'workflow_run' &&
github.event.workflow_run.conclusion == 'success' &&
(
(
github.event.workflow_run.name == 'CI' &&
github.event.workflow_run.event == 'push' &&
github.event.workflow_run.head_branch == 'main'
) ||
(
github.event.workflow_run.name == 'Skill Release' &&
github.event.workflow_run.event != 'pull_request'
)
)
github.event.workflow_run.name == 'Skill Release' &&
github.event.workflow_run.event != 'pull_request'
)
steps:
- name: Checkout
Expand Down Expand Up @@ -420,20 +417,15 @@ jobs:
# Deploy after a production build succeeds.
if: |
github.event_name == 'workflow_dispatch' ||
(
github.event_name == 'push' &&
github.ref_name == 'main'
) ||
(
github.event_name == 'workflow_run' &&
github.event.workflow_run.conclusion == 'success' &&
(
(
github.event.workflow_run.name == 'CI' &&
github.event.workflow_run.event == 'push' &&
github.event.workflow_run.head_branch == 'main'
) ||
(
github.event.workflow_run.name == 'Skill Release' &&
github.event.workflow_run.event != 'pull_request'
)
)
github.event.workflow_run.name == 'Skill Release' &&
github.event.workflow_run.event != 'pull_request'
)
environment:
name: github-pages
Expand Down
2 changes: 0 additions & 2 deletions .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,6 @@ on:
# https://github.com/ossf/scorecard/blob/main/docs/checks.md#maintained
schedule:
- cron: '19 23 * * 0'
push:
branches: [ "main" ]

# Declare default permissions as read only.
permissions: read-all
Expand Down
Loading