Skip to content

Merge branch 'develop' of github.com:deleonja/libs into develop #11

Merge branch 'develop' of github.com:deleonja/libs into develop

Merge branch 'develop' of github.com:deleonja/libs into develop #11

Workflow file for this run

name: Run Tests
on:
push:
branches: [develop, main]
pull_request:
branches: [develop, main]
jobs:
test:
name: Run Tests
runs-on: self-hosted
steps:
- name: Checkout repo
uses: actions/checkout@v4
- name: Run test suite
run: wolframscript -file tests/RunAllTests.wl