Skip to content

Merge pull request #6 from etylizer/feature/report-generator #49

Merge pull request #6 from etylizer/feature/report-generator

Merge pull request #6 from etylizer/feature/report-generator #49

Workflow file for this run

name: Build and demo testrunner
on:
push:
jobs:
build:
runs-on: self-hosted
steps:
- uses: actions/checkout@v4
- uses: erlef/setup-beam@v1
with:
elixir-version: '1.16.x'
otp-version: '26.x'
- name: Install dependencies
run: mix deps.get
- name: Compile dependencies
run: mix deps.compile
- name: Build application
run: mix compile
- name: Build escript executable
run: MIX_ENV=prod mix escript.build
# build plt first
- name: Print dialyzer info
run: dialyzer --build_plt --apps erts kernel stdlib || true
- name: Print dialyzer info
run: dialyzer --version && (dialyzer || true)
- name: Print gradualizer info
run: ./gradualizer --version
- name: Print ety info # has no version yet
run: ./ety || true
- name: Print eqWAlizer info
run: ./elp version
- name: Print timeout info
run: ./timeout -t 10 -m 2000000 echo OK
- name: Execute Runner on test suites
run: out/testrunner -s etylizer-src,dialyzer-src,gradualizer-src,eqwalizer-src
- name: Archive test results
uses: actions/upload-artifact@v4
with:
name: test-report
path: test_results.json