diff options
| author | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
| commit | 381ec5920d9ebeb335963778dec182268819e718 (patch) | |
| tree | 5c9288c5fbb16c21a0f00f96710b0aa7db4585f4 /.github | |
| parent | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (diff) | |
Now demanding mandatory loop names, instead of using default "again" name.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 30184748e..4f3d30cd3 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,6 +17,7 @@ jobs: with: distribution: 'temurin' java-version: '17' + - uses: actions/checkout@v2 - run: cd ./stdlib/ && ../lux.sh with jvm with bibliotheca test test_stdlib_on_node_js: needs: [setup_aedifex] @@ -26,6 +27,7 @@ jobs: - uses: actions/setup-node@v2 with: node-version: '14' + - uses: actions/checkout@v2 - run: cd ./stdlib/ && ../lux.sh with js with bibliotheca test # test_stdlib: # runs-on: ubuntu-latest |