Merge commit '89f54caacf90e99fc8ba0d60a28bdadea3cfdf1e' into sync_cg_clif-2024-04-11

This commit is contained in:
bjorn3
2024-04-11 10:42:48 +00:00
8 changed files with 44 additions and 14 deletions
@@ -56,7 +56,7 @@ async function runOnce() {
force: true,
});
} catch (e) {
console.log("ERROR: ", JSON.stringify(e.data, null, 2));
console.log("ERROR: ", JSON.stringify(e.response, null, 2));
core.info(`creating dev tag`);
try {
await octokit.rest.git.createRef({
@@ -68,7 +68,7 @@ async function runOnce() {
} catch (e) {
// we might race with others, so assume someone else has created the
// tag by this point.
console.log("failed to create tag: ", JSON.stringify(e.data, null, 2));
console.log("failed to create tag: ", JSON.stringify(e.response, null, 2));
}
}
@@ -268,6 +268,9 @@ jobs:
if: ${{ github.ref == 'refs/heads/master' }}
needs: [rustfmt, test, bench, dist]
permissions:
contents: write # for creating the dev tag and release
concurrency:
group: release-dev
cancel-in-progress: true