Ellie Fairholm @elliefairholm and Josep Giralt D’Lacoste @Gilacost,
Running dialyzer on both localhost and GitHub CI gives the following error:
:dialyzer.run error: The PLT file priv/plts/core.plt/dialyxir_erlang-24.3.4.17.plt is not writable
I solved it by creating the file priv/plts/core.plt/.keep in the repo. (If done after the .gitignore lines are added, it may have to be forced.)