Skip to content
Build and test

Disjunctive normal form attempt #524

Sign in to view logs

Disjunctive normal form attempt

Disjunctive normal form attempt #524

Triggered via pull request September 21, 2023 17:21
@erszczerszcz
opened #558
erszcz:use-disjunctive-normal-form
Status Failure
Total duration 45s
Artifacts –

build-and-test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Erlang 24.3.4.4
Process completed with exit code 2.
Erlang 23.3.4.7
Process completed with exit code 2.
Erlang 25.1.2
The operation was canceled.
Erlang 24.3.4.4
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Erlang 23.3.4.7
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Erlang 25.1.2
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/