feat: #5 feature add release ci #11
Annotations
2 errors and 1 warning
|
Run viperproject/prusti-action@master
Prusti exited with a non-zero exit code
|
|
Run viperproject/prusti-action@master:
src/lib.rs#L9
error: [Prusti: unsupported feature] unsupported constant type &'?11 [&'?12 str; Const { ty: usize, kind: Leaf(0x0000000000000002) }]
--> src/lib.rs:9:14
|
9 | println!("{}", fizz_buzz_fibonacci(n));
| ^^^^
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: viperproject/prusti-action@master. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
Loading