Skip to content

Lithium: a Rust-native back end #7271

Lithium: a Rust-native back end

Lithium: a Rust-native back end #7271

Triggered via pull request October 27, 2023 11:21
@JakuJJakuJ
synchronize #1321
JakuJ:lithium
Status Failure
Total duration 1h 57m 15s
Artifacts

test.yml

on: pull_request
Matrix: all-tests
Matrix: release-build
Matrix: test-crates
purification-tests
12m 38s
purification-tests
test-on-prusti
0s
test-on-prusti
can-merge
3s
can-merge
Fit to window
Zoom out
Zoom in

Annotations

4 errors
all-tests (ubuntu-latest)
Process completed with exit code 101.
all-tests (windows-latest)
Process completed with exit code 1.
all-tests (macos-latest)
Process completed with exit code 101.
can-merge
Process completed with exit code 1.