summaryrefslogtreecommitdiff
path: root/ci/github-script/run
AgeCommit message (Expand)Author
2026-04-12ci/github-script/manual-file-edits: initMichael Daniels
2026-01-19{workflows/eval,ci/github-script}: check for mass rebuilds targeting master/r...Michael Daniels
2025-12-13{workflows/lint,ci/github-script}: lint commit messagesMichael Daniels
2025-11-01workflows/bot: rename from labelsWolfgang Walther
2025-10-28ci/github-script/teams: use consistent styleWolfgang Walther
2025-10-27workflows/team-sync: initSilvan Mosberger
2025-08-26ci/github-script: fix run scriptWolfgang Walther
2025-08-24ci/github-script/prepare: identify real base branchWolfgang Walther
2025-08-24workflows/check: always run commits jobWolfgang Walther
2025-08-20ci/github-script/prepare: init from actions/get-merge-commitWolfgang Walther
2025-07-16ci/github-script/commits: init from ci/check-cherry-picksWolfgang Walther
2025-07-15ci/github-script: use real @actions/coreWolfgang Walther
2025-07-14ci/github-script: allow running without dry modeWolfgang Walther
2025-07-14ci/github-script: allow running for single PRWolfgang Walther
2025-07-14ci/github-script: default to commonjsWolfgang Walther
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 02:58:35 +0000