change label type to dynamic. #180
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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' }} |