Add a "statement use" option · metamath/metamath-knife@bae1604

Triggered via pull request August 28, 2023 22:17

tirix

synchronize #123

tirix:trace-back

Status Failure

Total duration 1m 52s

Artifacts –

verify.yml

on: pull_request

Matrix: Rebuild and test

6 errors and 4 warnings

Diff in /home/runner/work/metamath-knife/metamath-knife/src/axiom_use.rs

Process completed with exit code 1.

Diff in /home/runner/work/metamath-knife/metamath-knife/src/axiom_use.rs

The operation was canceled.

The operation was canceled.

The operation was canceled.

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/

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/

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/

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/