Skip to content
Rust

Add some theorems #144

Sign in to view logs

Add some theorems

Add some theorems #144

Triggered via push February 2, 2024 10:13
@HKalbasiHKalbasi
pushed b5256ce
main
Status Failure
Total duration 3m 43s
Artifacts –

rust.yml

on: push
build
3m 36s
build
lints
1m 11s
lints
Format
8s
Format
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Format
Process completed with exit code 1.
lints
Process completed with exit code 101.
build
Process completed with exit code 101.
Format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
lints
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.