Skip to content
Rust

add n_DFA_pos to Automata.v #127

Sign in to view logs

add n_DFA_pos to Automata.v

add n_DFA_pos to Automata.v #127

Triggered via pull request January 28, 2024 19:52
@arshiamoeiniarshiamoeini
opened #26
mz3
Status Failure
Total duration 3m 48s
Artifacts –

rust.yml

on: pull_request
build
3m 40s
build
lints
1m 2s
lints
Format
4s
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/.