ci #18
oubiwannci.yml
on: schedule
Dialyzer (OTP 28)
51s
Rust oracle (fmt + clippy + test)
20s
mjl differential oracle (cross-engine)
38s
Matrix: core-builds
Annotations
16 warnings
|
Rust oracle (fmt + clippy + test)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mjl differential oracle (cross-engine)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
mjl differential oracle (cross-engine):
_build/test/lib/proper/src/proper.erl#L2478
slave:stop/1 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
mjl differential oracle (cross-engine):
_build/test/lib/proper/src/proper.erl#L2406
slave:start_link/2 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
Erlang 28 build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Erlang 28 build:
_build/test/lib/proper/src/proper.erl#L2478
slave:stop/1 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
Erlang 28 build:
_build/test/lib/proper/src/proper.erl#L2406
slave:start_link/2 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
Erlang 29 build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Erlang 29 build:
_build/test/lib/proper/src/proper.erl#L2478
slave:stop/1 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
Erlang 29 build:
_build/test/lib/proper/src/proper.erl#L2406
slave:start_link/2 is deprecated and will be removed in OTP 31; use the 'peer' module instead
|
|
Erlang 29 build:
_build/test/lib/proper/src/proper_erlang_abstract_code.erl#L2138
ambiguous call of overridden auto-imported BIF is_record/1 --
|
|
Erlang 29 build:
_build/test/lib/proper/src/proper_statem.erl#L770
'catch ...' is deprecated; please use 'try ... catch ... end' instead.
|
|
Erlang 27 build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Erlang 27 build:
_build/test/lib/proper/src/proper.erl#L2478
slave:stop/1 is deprecated and will be removed in OTP 29; use the 'peer' module instead
|
|
Erlang 27 build:
_build/test/lib/proper/src/proper.erl#L2406
slave:start_link/2 is deprecated and will be removed in OTP 29; use the 'peer' module instead
|
|
Dialyzer (OTP 28)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|