Skip to content

🤖 Sync org-wide files to upstream repo #71

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #71

Workflow file for this run

name: Main workflow
on: [push, pull_request]
jobs:
build:
name: Build on erlang OTP ${{ matrix.otp }}
runs-on: ubuntu-latest
strategy:
matrix:
otp: ["21.3", "22.3", "23.1"]
container:
image: erlang:${{ matrix.otp }}
steps:
- uses: actions/checkout@master
- name: compile
run: make testgen
typecheck:
name: Typecheck
runs-on: ubuntu-latest
container:
image: erlang:22.0
steps:
- uses: actions/checkout@master
- name: Typecheck with dialyzer
run: make typecheck
format:
name: Check formatting of files
runs-on: ubuntu-latest
container:
image: erlang:22.0
steps:
- uses: actions/checkout@master
- name: Check format
run: rebar3 fmt -c