Skip to content

Fix record/tuple literal elaboration #1494

Fix record/tuple literal elaboration

Fix record/tuple literal elaboration #1494

Triggered via pull request September 6, 2023 23:51
Status Failure
Total duration 3m 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Nix Formatting
1m 0s
Nix Formatting
Matrix: cargo-clippy
Matrix: cargo-fmt
Matrix: cargo-test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 5 warnings
Rust Tests (stable)
Process completed with exit code 101.
Rust Tests (minimum)
Process completed with exit code 101.
Clippy (stable)
Process completed with exit code 101.
Rust Formatting (stable)
The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v17. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Nix Formatting
The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v17. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Rust Tests (stable)
The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v17. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Rust Tests (minimum)
The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v17. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Clippy (stable)
The following actions uses node12 which is deprecated and will be forced to run on node16: cachix/install-nix-action@v17. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/