Martin Geisler c509dbd9e4

Always install and run mdbook-pandoc (#1713) ...

Before, we only installed and ran `mdbook-pandoc` when publishing the
course — which means that a PR change could accidentally break the
publish workflow. We now test that it works on every PR.

From a discussion in #1704.

2024-03-04 16:25:58 +01:00

..

install-mdbook

Always install and run mdbook-pandoc (#1713)

2024-03-04 16:25:58 +01:00

setup-rust-cache

Remove unnecessary cache key (#586)

2023-04-27 13:25:02 -04:00

build.sh

Always install and run mdbook-pandoc (#1713)

2024-03-04 16:25:58 +01:00

build.yml

build(deps): bump crate-ci/typos from 1.18.2 to 1.19.0 (#1872)

2024-03-04 10:54:38 +00:00

check-msgid-changes.py

Rename action to check msgid changes (#1365)

2023-10-22 16:37:34 +02:00

check-msgid-changes.yml

build(deps): bump actions/checkout from 3 to 4 (#1666)

2024-01-08 10:04:19 +01:00

course-schedule-comment.yml

URGENT: Fix course schedule watcher github action (#1867)

2024-03-04 09:39:30 -05:00

course-schedule.yml

Improved support for commenting when course timings change. (#1797)

2024-02-12 11:03:24 +00:00

labeler.yml

build(deps): bump actions/labeler from 4 to 5 (#1619)

2024-01-01 21:57:24 -05:00

publish.yml

Always install and run mdbook-pandoc (#1713)

2024-03-04 16:25:58 +01:00