From 067090fb332e498c6666ea73ce04df7a2f9ce3e3 Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Mon, 17 Mar 2025 18:58:11 -0700 Subject: [PATCH] Drop idris/bun from CI --- .github/workflows/publish.yml | 12 ++++++------ Makefile | 3 ++- playground/samples/newt | 1 + scripts/test | 3 ++- 4 files changed, 11 insertions(+), 8 deletions(-) create mode 120000 playground/samples/newt diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index fd3bc6d..b9283bd 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -9,7 +9,7 @@ on: jobs: build: runs-on: ubuntu-latest - container: ghcr.io/stefan-hoeck/idris2-pack:latest + # container: ghcr.io/stefan-hoeck/idris2-pack:latest steps: - name: checkout uses: actions/checkout@v2 @@ -20,11 +20,11 @@ jobs: node-version: 18 - name: setup run: | - apt update - apt-get install -y zip - pack install contrib - - name: use bun - uses: oven-sh/setup-bun@v2 + sudo apt-get update + sudo apt-get install -y zip + # pack install contrib + # - name: use bun + # uses: oven-sh/setup-bun@v2 - name: build run: | make diff --git a/Makefile b/Makefile index 185af6c..91ef200 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,8 @@ RUNJS=node .PHONY: -all: build/exec/newt build/exec/newt.js build/exec/newt.min.js newt.js +# all: build/exec/newt build/exec/newt.js build/exec/newt.min.js newt.js +all: newt.js # Original idris version diff --git a/playground/samples/newt b/playground/samples/newt new file mode 120000 index 0000000..929cb3d --- /dev/null +++ b/playground/samples/newt @@ -0,0 +1 @@ +../../src \ No newline at end of file diff --git a/scripts/test b/scripts/test index f4d27a2..b7063d5 100755 --- a/scripts/test +++ b/scripts/test @@ -1,6 +1,7 @@ #!/bin/sh SAMPLES=$(find playground/samples -name "*.newt") -NCC="bun run newt.js" +# NCC="bun run newt.js" +NCC="node newt.js" total=0 failed=0 for fn in tests/*.newt ; do