Skip to content

change label type to dynamic. #180

change label type to dynamic.

change label type to dynamic. #180

Workflow file for this run

name: Build
on:
push:
branches:
- '*'
pull_request:
types:
- opened
- synchronize
jobs:
linux:
strategy:
matrix:
platform: [ubuntu-latest]
otp-version: [24]
runs-on: ${{ matrix.platform }}
container:
image: erlang:${{ matrix.otp-version }}
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Cache Hex packages
uses: actions/cache@v1
with:
path: ~/.cache/rebar3/hex/hexpm/packages
key: ${{ runner.os }}-hex-${{ hashFiles(format('{0}{1}', github.workspace, '/rebar.lock')) }}
restore-keys: |
${{ runner.os }}-hex-
- name: Cache Dialyzer PLTs
uses: actions/cache@v1
with:
path: ~/.cache/rebar3/rebar3_*_plt
key: ${{ runner.os }}-dialyzer-${{ hashFiles(format('{0}{1}', github.workspace, '/rebar.config')) }}
restore-keys: |
${{ runner.os }}-dialyzer-
- name: Compile
run: rebar3 compile
- name: Generate Dialyzer PLT
run: dialyzer --build_plt --apps erts kernel stdlib
- name: Run CT Tests
run: rebar3 ct
- name: Run Checks
run: rebar3 do dialyzer, xref
- name: Produce Documentation
run: rebar3 edoc
if: ${{ matrix.otp-version == '24' }}