Updated snapshot injectivity axiom. #7311
Triggered via pull request
December 5, 2023 21:49
zgrannan
Status
Failure
Total duration
2h 32m 54s
Artifacts
–
test.yml
on: pull_request
fmt-check
21s
clippy-check
4m 11s
check-deps
10m 57s
smir-check
5s
quick-tests
5m 28s
can-merge
1s
Annotations
2 errors
|
all-tests (windows-latest)
Process completed with exit code 1.
|
|
can-merge
Process completed with exit code 1.
|