From c8f05d3f1abc2fc9455c44538f688f9d798301ec Mon Sep 17 00:00:00 2001 From: Helge Sverre Date: Mon, 13 Jul 2026 09:30:28 +0200 Subject: [PATCH 1/2] ci: install Sema via sema-lisp/setup-sema instead of curl|sh --- .github/workflows/ci.yml | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2e77126..ba2054d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,14 +11,8 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Install sema - run: | - curl -fsSL https://sema-lang.com/install.sh | sh - echo "$HOME/.cargo/bin" >> "$GITHUB_PATH" - echo "$HOME/.local/bin" >> "$GITHUB_PATH" - - - name: Show sema version - run: sema --version + - name: Setup Sema + uses: sema-lisp/setup-sema@main - name: Run tests run: sema test.sema From e759d47e0764ec88e87c5824e7a2950b9e47458c Mon Sep 17 00:00:00 2001 From: Helge Sverre Date: Mon, 13 Jul 2026 09:32:56 +0200 Subject: [PATCH 2/2] ci: bump actions/checkout to v7 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ba2054d..8ee5630 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ jobs: test: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v7 - name: Setup Sema uses: sema-lisp/setup-sema@main