Merge branch 'main' into parse_statement · metamath/metamath-knife@a14ee15

Triggered via push September 12, 2024 11:47

digama0

parse_statement

Status Failure

Total duration 1m 21s

Artifacts –

verify.yml

on: push

Matrix: Rebuild and test

10 errors and 2 warnings

this could be a `const fn`

Process completed with exit code 101.

The job was canceled because "macOS-latest_stable" failed.

this could be a `const fn`

Process completed with exit code 101.

The job was canceled because "macOS-latest_stable" failed.

this could be a `const fn`

Process completed with exit code 101.

The job was canceled because "macOS-latest_stable" failed.

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 use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, hecrj/setup-rust-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/