Improve dafny packaging #5992
layusArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
comparison
|
475 Bytes |
|
|
intermediate-aarch64-darwin
|
2.9 MB |
|
|
intermediate-aarch64-linux
|
3.46 MB |
|
|
intermediate-x86_64-darwin
|
2.91 MB |
|
|
intermediate-x86_64-linux
|
3.55 MB |
|
|
paths
|
508 KB |
|
|
result
|
10.8 MB |
|