Skip to content

chore: add file append #435

chore: add file append

chore: add file append #435

Annotations

1 warning

formatting

succeeded Dec 15, 2024 in 1m 4s
Set up job
1s
Run actions/checkout@v3
1s
Install Dafny
9s
Install lit
3s
Set up JS dependencies
1s
Check exe
0s
Check formatting
49s
Post Run actions/checkout@v3
0s
Complete job
0s