Skip to content

Make flux opt-in for cargo projects #80

Make flux opt-in for cargo projects

Make flux opt-in for cargo projects #80

Triggered via push November 7, 2023 21:13
Status Success
Total duration 1m 16s
Artifacts

gh-pages.yml

on: push
Build and Deploy Website
1m 6s
Build and Deploy Website
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
consider adding a `;` to the last statement for consistent formatting: crates/flux-driver/src/callbacks.rs#L48
warning: consider adding a `;` to the last statement for consistent formatting --> crates/flux-driver/src/callbacks.rs:48:13 | 48 | self.verify(compiler, queries) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: add a `;` here: `self.verify(compiler, queries);` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#semicolon_if_nothing_returned = note: requested on the command line with `-W clippy::semicolon-if-nothing-returned`
unused extern crate: crates/flux-driver/src/lib.rs#L4
warning: unused extern crate --> crates/flux-driver/src/lib.rs:4:1 | 4 | extern crate rustc_ast_pretty; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove it | = note: requested on the command line with `-W unused-extern-crates`
Build and Deploy Website
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, JamesIves/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build and Deploy Website
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/