From b7be13abfb090b92da7883af99e77053b75d2dd6 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Wed, 13 Sep 2023 19:30:06 +0200 Subject: [PATCH] FrontendTest.yml: show logs from Pluto server --- .github/workflows/FrontendTest.yml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/workflows/FrontendTest.yml b/.github/workflows/FrontendTest.yml index a9b5d55961..be5b2ce2cf 100644 --- a/.github/workflows/FrontendTest.yml +++ b/.github/workflows/FrontendTest.yml @@ -63,17 +63,17 @@ jobs: - name: Run tests working-directory: ./test/frontend run: | - julia -e "import Pkg; Pkg.add(path=\"$GITHUB_WORKSPACE\"); Pkg.instantiate(); import Pluto; Pluto.run(port=$PLUTO_PORT, require_secret_for_access=false)" & # Run Pluto.jl server in the background + julia --project=$GITHUB_WORKSPACE -e 'import Pluto + # Run Pluto.jl server in the background + server = Pluto.run!( + port=parse(Int, ENV["PLUTO_PORT"]), + require_secret_for_access=false, + ) - # Wait for Pluto to initialize - TIMES_TRIED=0 - until [ $TIMES_TRIED -eq 60 ] || $(curl --output /dev/null --silent --fail "http://localhost:$PLUTO_PORT/"); do - printf '.' - TIMES_TRIED=$((TIMES_TRIED+1)) - sleep 1 - done + run(`npm run test`) + + close(server)' - npm run test env: PLUTO_PORT: 1235 PLUTO_TEST_OFFLINE: ${{ github.ref_name == 'release' }}