Fix encoding of mutually recursive pure functions #7126
Triggered via pull request
August 14, 2023 13:28
fpoli
Status
Success
Total duration
1h 38m 16s
Artifacts
–
test.yml
on: pull_request
fmt-check
38s
clippy-check
7m 39s
check-deps
21m 47s
smir-check
5s
quick-tests
9m 56s
can-merge
1s