Re: Old PLT file?

--00000000000079bffb05db70f9ce
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Glad you find a solution. Would be great if you can share the config
mistake here so others could avoid it.


Thanks for the input. The problem turned out to be a subtle bug in my CI
> script. Probably a cut-n-paste thing. All is now well.
>
>
> On 3/29/22 21:15, Yao Bao wrote:
> > Hello,
> >
> > More detailed information/logging message might be helpful to determine
> this.
> >
> > Since PLT comes from Erlang, and you are using Elixir, you should check
> who is complaining =E2=80=9Cold=E2=80=9D.
> >
> > And since this involves CI within GitHub, you might check how you
> =E2=80=9Ccache=E2=80=9D the PLT file as well.
> >
> > I have no documentation at hand, might it be documented somewhere?
> > (dialyzer related I guess)
> >
> > Yao
> >
> >> =E5=9C=A8 2022=E5=B9=B43=E6=9C=8830=E6=97=A5=EF=BC=8C04:20=EF=BC=8CMic=
hael L Martin <[email protected]> =E5=86=99=E9=81=93=EF=BC=9A
> >>
> >> =EF=BB=BFHi everyone,
> >>
> >> We are doing our CI on github. We cache the PLT so that we don't have
> to rebuild it every time, and this mostly works fine, but occasionally
> dialyzer (or, rather, "mix dialyzer", as this is an Elixir/Phoenix
> application) determines that the PLT is old and the workflow is aborted.
> >>
> >> My question is, what makes a PLT file "old"? We very seldom change
> versions of OTP or Elixir, nor do our dependency versions change very
> often, yet we get into this situation a lot more often than I believe we
> should. If I could understand a little better about what makes a PLT old,
> perhaps I could solve this issue.
> >>
> >> Thanks,
> >>
> >> Michael Martin
>

--00000000000079bffb05db70f9ce
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto">Glad you find a solution. Would be great if you can share=
 the config mistake here so others could avoid it.=C2=A0</div><div><br><div=
 class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr"><br></div><blo=
ckquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left=
-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(2=
04,204,204)">Thanks for the input. The problem turned out to be a subtle bu=
g in my CI <br>
script. Probably a cut-n-paste thing. All is now well.<br>
<br>
<br>
On 3/29/22 21:15, Yao Bao wrote:<br>
&gt; Hello,<br>
&gt;<br>
&gt; More detailed information/logging message might be helpful to determin=
e this.<br>
&gt;<br>
&gt; Since PLT comes from Erlang, and you are using Elixir, you should chec=
k who is complaining =E2=80=9Cold=E2=80=9D.<br>
&gt;<br>
&gt; And since this involves CI within GitHub, you might check how you =E2=
=80=9Ccache=E2=80=9D the PLT file as well.<br>
&gt;<br>
&gt; I have no documentation at hand, might it be documented somewhere?<br>
&gt; (dialyzer related I guess)<br>
&gt;<br>
&gt; Yao<br>
&gt;<br>
&gt;&gt; =E5=9C=A8 2022=E5=B9=B43=E6=9C=8830=E6=97=A5=EF=BC=8C04:20=EF=BC=
=8CMichael L Martin &lt;<a href=3D"mailto:[email protected]" target=3D"=
_blank">[email protected]</a>&gt; =E5=86=99=E9=81=93=EF=BC=9A<br>
&gt;&gt;<br>
&gt;&gt; =EF=BB=BFHi everyone,<br>
&gt;&gt;<br>
&gt;&gt; We are doing our CI on github. We cache the PLT so that we don&#39=
;t have to rebuild it every time, and this mostly works fine, but occasiona=
lly dialyzer (or, rather, &quot;mix dialyzer&quot;, as this is an Elixir/Ph=
oenix application) determines that the PLT is old and the workflow is abort=
ed.<br>
&gt;&gt;<br>
&gt;&gt; My question is, what makes a PLT file &quot;old&quot;? We very sel=
dom change versions of OTP or Elixir, nor do our dependency versions change=
 very often, yet we get into this situation a lot more often than I believe=
 we should. If I could understand a little better about what makes a PLT ol=
d, perhaps I could solve this issue.<br>
&gt;&gt;<br>
&gt;&gt; Thanks,<br>
&gt;&gt;<br>
&gt;&gt; Michael Martin<br>
</blockquote></div></div>

--00000000000079bffb05db70f9ce--