Michael Daniels
7045e3afe1
ci/github-script: check types by default
2026-08-10 20:26:01 -04:00
Michael Daniels
4a45de05bd
workflows: appease zizmor by installing npm pkgs from lockfile
2026-07-21 19:30:53 -04:00
Michael Daniels
8a89d7a286
ci/github-script: update npm versions
2026-05-17 14:41:57 -04:00
Michael Daniels
95e34c848b
ci/github-script: npm audit fix
...
Fixes Dependabot alerts.
2026-05-14 20:50:51 -04:00
Michael Daniels
d70a72500c
ci/github-script: update dependencies, npm audit fix
...
`@actions/artifact` and `commander` now match the versions
used in `.github/workflows/bot.yml`.
2026-02-15 09:39:57 -05:00
Wolfgang Walther
2433050fb7
ci/github-script: use real @actions/core
...
This allows building markdown summaries, which is hard to mock.
2025-07-15 15:09:02 +02:00
Wolfgang Walther
aaaabe0cb7
ci/github-script: add commander CLI interface
...
This makes it easier to add additional features.
2025-07-14 10:35:17 +02:00
Wolfgang Walther
6f6c625026
ci/github-script: move from ci/labels
...
This just moves things around to use less specific naming - `labels` is
only *one* script that can potentially be run locally while still being
written in github-script. Later, we can add more.
2025-07-14 10:35:13 +02:00
