Commit Graph

7 Commits

Author SHA1 Message Date
Quentin Gliech 9ae07db85a Bump all frontend dependencies 2026-05-25 12:36:56 +02:00
Quentin Gliech d5d6b1b90d Include .github/scripts in the pnpm workspace
This package only provides type-checking and editor IntelliSense for the
.cjs scripts loaded by actions/github-script in workflows — nothing in
CI relies on its node_modules being present. But folding it into the
workspace means there's exactly one lockfile to update and one
`pnpm install` to run.

Two new pnpm-workspace.yaml entries fall out:

 - allowBuilds: @actions/github-script (fetched from git, has a husky
   prepare script that compiles dist/).
 - trustPolicyExclude: undici@5.29.0, a transitive of @actions/http-client
   whose older 5.x releases shipped with provenance but this one doesn't.

The local .github/scripts/.gitignore is now redundant since the root
.gitignore covers node_modules workspace-wide.
2026-05-12 12:51:21 +02:00
Quentin Gliech c3707c13ae Add license headers in most files that missed them 2025-06-12 11:01:07 +02:00
Quentin Gliech 3d96dc9d47 Update license headers to match the actual license 2025-06-12 10:32:16 +02:00
Quentin Gliech e378539e67 Remove CI for the old syn2mas tool 2025-04-23 17:44:30 +02:00
Quentin Gliech a41db67ec6 Trigger the build workflow on PRs with a label 2025-02-26 16:11:44 +01:00
Quentin Gliech 90bd12e459 Extract CI scripts in separate files 2025-02-06 11:27:25 +01:00