Skip to content

Merge SRI Commits

Merge SRI Commits #18

Workflow file for this run

name: run-wpi-many-tests
on: [push, pull_request]
jobs:
run:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: install python dependencies
run: pip3 install -r requirements.txt
shell: bash
- name: exec-wpi-many-tests
run: ./run-cf-tests.sh
shell: bash