From c961d2a34d8cf085e816e7b6ac3f59631efa8173 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Mon, 4 Sep 2023 15:18:14 +0000 Subject: [PATCH 1/2] chore(deps): update actions/checkout action to v4 --- .github/workflows/build.yml | 2 +- .github/workflows/codeql.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 4557622..a74acb4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -7,7 +7,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - uses: actions/setup-node@v3 with: node-version: '12.x' diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index ac0200d..65b252e 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -24,7 +24,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Initialize CodeQL uses: github/codeql-action/init@v2 From ed7b96c20cf32a9359f2ef72492dc3c28e2ed424 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" Date: Mon, 4 Sep 2023 15:18:39 +0000 Subject: [PATCH 2/2] fixup: [spec] `npm run build` --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 0bd1628..4119682 100644 --- a/index.html +++ b/index.html @@ -2525,7 +2525,7 @@

Stage -1 Draft / May 3, 2023

AssertionError Proposal

+

Stage -1 Draft / September 4, 2023

AssertionError Proposal

1 This is an emu-clause