Skip to content
Open
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
21 changes: 3 additions & 18 deletions .github/workflows/CheckNotebooks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,21 +2,7 @@ name: Check notebooks

on:
push:
branches: [main]
paths:
- 'exercises/**'
- 'notebook-checks/**'
- '.github/workflows/CheckNotebooks.yml'
pull_request:
branches: [main]
paths:
- 'exercises/**'
- 'notebook-checks/**'
- '.github/workflows/CheckNotebooks.yml'

concurrency:
group: check-${{ github.ref }}
cancel-in-progress: true

jobs:
build:
Expand All @@ -26,10 +12,9 @@ jobs:
pull-requests: read
statuses: write
runs-on: ubuntu-latest
timeout-minutes: 90
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2.6.1
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: '1.12'
- uses: julia-actions/cache@v2
Expand All @@ -38,4 +23,4 @@ jobs:
- name: Build and deploy
run: julia --color=yes notebook-checks/check_notebooks.jl
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
5 changes: 1 addition & 4 deletions .github/workflows/ExportNotebooks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ jobs:
- name: 🙌 Install Julia
uses: julia-actions/setup-julia@5c9647d97b78a5debe5164e9eec09d653d29bd71 # v2.6.1
with:
version: '1.12'
version: "1.11.2"

- name: ⏱ Cache .julia
uses: actions/cache@1bd1e32a3bdc45362d1e726936510720a7c30a57 # v4.2.0
Expand All @@ -32,9 +32,6 @@ jobs:
restore-keys: |
${{ runner.os }}-dotjulia-v1-${{ hashFiles('pluto-deployment-environment/*.toml') }}

- name: 🔁 Check src/exercises is in sync with student notebooks
run: julia --color=yes notebook-checks/sync_exercises.jl --check

- name: 🪴 Generate site
env:
GKSwstype: "100"
Expand Down
Loading
Loading