Skip to content

Commit 9fb399f

Browse files
authored
Merge branch 'master' into feat/add-functions-setof-type-introspection
2 parents f05813e + da7ccfa commit 9fb399f

File tree

20 files changed

+1265
-230
lines changed

20 files changed

+1265
-230
lines changed

.github/workflows/ci.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@ on:
77
- master
88
workflow_dispatch:
99

10+
permissions:
11+
contents: read
12+
1013
# Cancel old builds on new commit for same workflow + branch/PR
1114
concurrency:
1215
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -57,6 +60,9 @@ jobs:
5760
docker:
5861
name: Build with docker
5962
runs-on: ubuntu-22.04
63+
permissions:
64+
contents: read
65+
packages: write
6066
steps:
6167
- uses: actions/checkout@v4
6268
name: Checkout Repo

.github/workflows/docs.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@ on:
66
- master
77
workflow_dispatch:
88

9+
permissions:
10+
contents: write
11+
pages: write
912

1013
# Cancel old builds on new commit for same workflow + branch/PR
1114
concurrency:

.github/workflows/mirror.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,9 @@ on:
88
required: true
99
type: string
1010

11+
permissions:
12+
contents: read
13+
1114
jobs:
1215
mirror:
1316
runs-on: ubuntu-latest

.github/workflows/publish-deps.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,11 @@ name: Publish Dependencies
33
on:
44
workflow_dispatch:
55

6+
permissions:
7+
contents: read
8+
packages: write
9+
id-token: write
10+
611
jobs:
712
publish:
813
# Must match glibc verison in node:20

.github/workflows/release.yml

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@ on:
66
- master
77
workflow_dispatch:
88

9+
permissions:
10+
contents: read
11+
912
jobs:
1013
semantic-release:
1114
name: Release
@@ -84,10 +87,8 @@ jobs:
8487
username: ${{ github.actor }}
8588
password: ${{ secrets.GITHUB_TOKEN }}
8689

87-
- uses: docker/build-push-action@v5
90+
- uses: docker/build-push-action@v6
8891
with:
8992
push: true
9093
platforms: linux/amd64,linux/arm64
9194
tags: ${{ steps.meta.outputs.tags }}
92-
cache-from: type=gha
93-
cache-to: type=gha,mode=max

0 commit comments

Comments
 (0)