proto: integrate with Aeneas #721
mkovaxxci.yml
on: pull_request
Check formatting
7s
Lint and test anodized-core
25s
Lint and test anodized-fmt
42s
Lint and test anodized-logic
22s
Lint test-util
26s
Lint and smoke-test fuzz targets
1m 38s
Matrix: test-anodized
Annotations
7 errors and 10 warnings
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_print"]'`
Process completed with exit code 101.
|
|
Lint and test anodized with cfg ``
The strategy configuration was canceled because "test-anodized._--config__build_rustfl_3" failed
|
|
Lint and test anodized with cfg ``
Process completed with exit code 101.
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_discard_specs"]'`
The strategy configuration was canceled because "test-anodized._--config__build_rustfl_3" failed
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_discard_specs"]'`
The operation was canceled.
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_panic"]'`
The strategy configuration was canceled because "test-anodized._--config__build_rustfl_3" failed
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_panic"]'`
The operation was canceled.
|
|
Check formatting
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/
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_print"]'`
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/
|
|
Lint and test anodized with cfg ``
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/
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_discard_specs"]'`
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/
|
|
Lint and test anodized-logic
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/
|
|
Lint and test anodized-core
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/
|
|
Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_panic"]'`
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/
|
|
Lint test-util
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/
|
|
Lint and test anodized-fmt
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/
|
|
Lint and smoke-test fuzz targets
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/
|