added warn_missing_spec_all to 3 wa_raft modules #153
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' }} |