anthonator

anthonator

Caching Dialyzer output with GitHub Actions

Hey everyone!

I’m curious why Dialyzer does a full analysis even when I cache the _build directory when using GitHub Actions. My deps directory is also cached and that works fine. It doesn’t try to pull deps if they’re cached.

My Dialyzer setup is pretty vanilla. I include dialyxir (1.0.0-rc) in my project and run mix dialyzer. No additional configuration in mix.exs.

Here’s the relevant section for my workflow config.

Thanks in advance to anyone that can help.

dialyzer:
  runs-on: ubuntu-latest

  strategy:
    matrix:
      elixir: [1.9-alpine]

    steps:
      - uses: actions/checkout@v1

      - uses: actions/cache@v1

        with:
          path: deps

          key: dependencies-${{ hashFiles('mix.lock') }}

      - uses: actions/cache@v1

        with:
          path: _build

          key: build-${{ hashFiles('mix.lock') }}

      - name: Pull elixir:${{ matrix.elixir }}

        run: docker pull elixir:${{ matrix.elixir }}

      - name: Run mix dialyzer

        run: |
          cmd='
            mix local.hex --force;
            mix local.rebar --force;
            mix deps.get;
            mix dialyzer;
          '

          docker run \
            --mount type=bind,src=`pwd`,target=/usr/src/malomo-bus \
            -w /usr/src/malomo-bus elixir:${{ matrix.elixir }} \
            /bin/ash -c "$cmd"

Most Liked

mhanberg

mhanberg

Expert LSP Core Team

Side note, I think you should include the elixir and erlang version in your cache-keys, so that it will break the cache when you increment those versions.

Typically you would add a version (v1) to the key, but since GH Actions puts the versions in your matrix in scope you can use those.

anthonator

anthonator

Oops, just noticed I have a typo. It should be :plt_core_path instead of :plt_cor_path.

NobbZ

NobbZ

The PLTs are not where you expect them, please read the PLT section in the dialyxir manual. There you will also learn how to adjust the settings to suite your CI:

https://github.com/jeremyjh/dialyxir#plt

Where Next?

Popular in Questions Top

_russellb
I want to try my hand at web scraping. What tools/libraries do I need to use. I’m hoping to turn this into something professional so don’...
New
gshaw
What is the idiomatic way of matching for not nil in Elixir? E.g., First way: defp halt_if_not_signed_in(conn, signed_in_account) when...
New
mgjohns61585
Could someone help me? I’m making my first elixir program, number guessing game. I can’t figure out how to convert the user’s guess from ...
New
ovidiubadita
Hey all, I discovered Elixir and I love it. I always wanted to learn a functional programming and I intended to go for Haskell, but afte...
New
vac
Hi, I’m quite new in Elixir and I’m trying to format a string to a PEM format. I have the certificate value like MIIDBTCCAe2...... and I...
New
fireproofsocks
Forgive me if this is obvious, but how does one delete a database record WITHOUT selecting it first? Ecto.Repo — Ecto v3.14.0 has exampl...
New
belgoros
I’m not a pro in using Regex and can’t figure out why the following behaviour happens, especially if we take into account the difference ...
New
ycv005
I have followed this StackOverflow post to install the specific version of Erlang. And When I am running mix ecto.setup then getting fol...
New
bsollish-terakeet
Credo is smart enough to check for (something like) this: assert length(the_list) == 0 with this response: Checking if an enum is empt...
New
hariharasudhan94
I would like to know what is the best IDE for elixir development?
New

Other popular topics Top

axelson
This post is a wiki (feel free to hit the edit button near the bottom right of this post to add your own changes!) This post collects co...
239 48475 226
New
New
AstonJ
Posting this to see if we can make things easier for people to get into Neovim. If you use Neovim and have a favourite distro please let ...
New
WestKeys
Currently suffering from paralysis by [HTTP client] analysis. This is rather unusual in Elixirland as there tends to be consensus on the ...
New
Patoshizzle
After calling mix ecto.create I get this error: 17:00:32.162 [error] GenServer #PID<0.412.0> terminating ** (Postgrex.Error) FATAL...
New
fireproofsocks
Forgive me if this is obvious, but how does one delete a database record WITHOUT selecting it first? Ecto.Repo — Ecto v3.14.0 has exampl...
New
jerry
Good day to you all. I have been struggling to get a query involving like and ilike to work. Can anyone assist me on this, please? pro...
New
freewebwithme
Using vs code and installed ElixirLS: support and debugger. And I got an error popped up on start up says Failed to run ‘elixir’ comma...
New
ashish173
I am using Ecto timestamps with postgres, I can see the timestamps() use the :naive_dateime but for my use case I wanted to store the ti...
New
PeterCarter
There are pre-rolled solutions for other frameworks that do work. However, Phoenix does not seem to have these. Have people had good expe...
New

We're in Beta

About us Mission Statement