Updated snapshot injectivity axiom. #7315
Triggered via pull request
December 6, 2023 17:09
zgrannan
Status
Success
Total duration
1h 47m 1s
Artifacts
–
test.yml
on: pull_request
fmt-check
20s
clippy-check
3m 33s
check-deps
10m 31s
smir-check
5s
quick-tests
5m 30s
can-merge
2s