Skip to content

Commit 3de6687

Browse files
mbarbinmbarbin
authored
Merge pull request #143 from mbarbin/upgrade-ci
Upgrade ci
2 parents 2042aab + 8c8a15e commit 3de6687

File tree

10 files changed

+26
-36
lines changed

10 files changed

+26
-36
lines changed

‎.github/crs-config.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{
2-
"$schema": "https://github.com/mbarbin/crs/releases/download/0.0.20260202/crs-config.schema.json",
2+
"$schema": "https://github.com/mbarbin/crs/releases/download/0.0.20260307/crs-config.schema.json",
33
"default_repo_owner": "mbarbin",
44
"user_mentions_allowlist": [
55
"mbarbin"

‎.github/dependabot.yml‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎.github/workflows/ci.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ jobs:
2929

3030
steps:
3131
- name: Checkout code
32-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
32+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
3333

3434
- name: Environment setup
3535
run: |

‎.github/workflows/crs.yml‎

Lines changed: 5 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -14,25 +14,15 @@ jobs:
1414
runs-on: ubuntu-latest
1515
steps:
1616
- name: Checkout
17-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
17+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
1818

1919
- name: Install crs
20-
uses: mbarbin/crs-actions/setup-crs@061f8bc6ac432c1ebc575489f0ea1bc499be0e78 # v1.0.0-alpha.10
20+
uses: mbarbin/crs-actions/setup-crs@9eed5c55f144e4e3adbb9a871dcae6d135c37256 # v1.0.0-alpha.11
2121
with:
22-
crs-version: 0.0.20260202
23-
crs-digest: sha256:f9924f2d7d6ec4da1dabd13c4687a68e09d5e49d6cd77f158834b1d12590f40a
24-
25-
- name: Install reviewdog
26-
uses: reviewdog/action-setup@d8edfce3dd5e1ec6978745e801f9c50b5ef80252 # v1.4.0
27-
with:
28-
reviewdog_version: v0.20.3
29-
30-
- name: Comment on CRs in PR
31-
uses: mbarbin/crs-actions/comment-crs-in-pr@061f8bc6ac432c1ebc575489f0ea1bc499be0e78 # v1.0.0-alpha.10
32-
with:
33-
crs-config: .github/crs-config.json
22+
crs-version: 0.0.20260307
23+
crs-digest: sha256:5097e709386d8d41351a87f86c8ad374db72aabe4ddc2a8ff2d58faebb1b889f
3424

3525
- name: Summarize CRs in PR
36-
uses: mbarbin/crs-actions/summarize-crs-in-pr@061f8bc6ac432c1ebc575489f0ea1bc499be0e78 # v1.0.0-alpha.10
26+
uses: mbarbin/crs-actions/summarize-crs-in-pr@9eed5c55f144e4e3adbb9a871dcae6d135c37256 # v1.0.0-alpha.11
3727
with:
3828
crs-config: .github/crs-config.json

‎.github/workflows/deploy-doc.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
shell: bash
2222
steps:
2323
- name: Checkout
24-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
24+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2525
with:
2626
fetch-depth: 0
2727

‎.github/workflows/dune-pkg-more-ci.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141

4242
steps:
4343
- name: Checkout code
44-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
44+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
4545

4646
- name: Environment setup
4747
run: |

‎.github/workflows/dunolint.yml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -16,13 +16,13 @@ jobs:
1616
runs-on: ubuntu-latest
1717
steps:
1818
- name: Checkout
19-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
19+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2020

2121
- name: Install dunolint
22-
uses: mbarbin/dunolint-actions/setup-dunolint@6b1c0591ba857063829211bc162712052889c4e2 # v1.0.0-alpha.4
22+
uses: mbarbin/dunolint-actions/setup-dunolint@a29eea82e86ed2a5cc1ee25e15dc615d77ac4b4f # v1.0.0-alpha.5
2323
with:
24-
dunolint-version: 0.0.20260211
25-
dunolint-digest: sha256:8ce2817547a7b104b677e89baf6e6fcb8805811172ae9557505bdd866ee16fbc
24+
dunolint-version: 0.0.20260306
25+
dunolint-digest: sha256:b83c07dd352cd4bec36b872ac593f299972710baff70a62e7a4650e80d2460d4
2626

2727
- name: Lint Check
28-
uses: mbarbin/dunolint-actions/lint-check@6b1c0591ba857063829211bc162712052889c4e2 # v1.0.0-alpha.4
28+
uses: mbarbin/dunolint-actions/lint-check@a29eea82e86ed2a5cc1ee25e15dc615d77ac4b4f # v1.0.0-alpha.5

‎.github/workflows/release-artifacts.yml‎

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ jobs:
5959
exit 1
6060
6161
- name: Checkout Code
62-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
62+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
6363
with:
6464
ref: ${{ env.TAG_NAME }}
6565

@@ -86,13 +86,18 @@ jobs:
8686
os=$(echo "${{ runner.os }}" | tr '[:upper:]' '[:lower:]')
8787
arch=$(uname -m)
8888
bin_name="${{ github.workspace }}/volgo-vcs-$TAG_NAME-$os-$arch"
89-
cp "$OPAM_DESTDIR/bin/volgo-vcs" $bin_name
89+
cp "$OPAM_DESTDIR/bin/volgo-vcs" "$bin_name"
9090
echo "BIN_NAME=$bin_name" >> $GITHUB_ENV
91+
archive_name="${bin_name}.tar.gz"
92+
tar -czf "$archive_name" -C "$OPAM_DESTDIR/bin" volgo-vcs
93+
echo "ARCHIVE_NAME=$archive_name" >> $GITHUB_ENV
9194
9295
- name: Attest Build Provenance
93-
uses: actions/attest-build-provenance@977bb373ede98d70efdf65b84cb5f73e068dcc2a # v3.0.0
96+
uses: actions/attest@59d89421af93a897026c735860bf21b6eb4f7b26 # v4.1.0
9497
with:
95-
subject-path: "${{ env.BIN_NAME }}"
98+
subject-path: |
99+
${{ env.BIN_NAME }}
100+
${{ env.ARCHIVE_NAME }}
96101
97102
- name: Upload Platform-Specific Binary
98103
uses: softprops/action-gh-release@a06a81a03ee405af7f2048a818ed3f03bbf83c7b # v2.5.0
@@ -101,3 +106,4 @@ jobs:
101106
draft: true
102107
files: |
103108
${{ env.BIN_NAME }}
109+
${{ env.ARCHIVE_NAME }}

‎.github/workflows/test-deploy-doc.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
shell: bash
2222
steps:
2323
- name: Checkout
24-
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
24+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2525
with:
2626
fetch-depth: 0
2727

‎dune-workspace-4.14‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
(repositories overlay upstream mbarbin)
77
(constraints
88
(ocaml
9-
(= 4.14.2))))
9+
(= 4.14.3))))
1010

1111
(repository
1212
(name mbarbin)

0 commit comments

Comments
 (0)