Skip to content

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #224

fix(typecheck): infer recursive functions' return type by fixpoint (#88)

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #224

Triggered via pull request July 29, 2026 00:48
Status Success
Total duration 17s
Artifacts

secret-scanner.yml

on: pull_request
scan  /  gitleaks
5s
scan / gitleaks
scan  /  rust-secrets
3s
scan / rust-secrets
scan  /  shell-secrets
5s
scan / shell-secrets
Fit to window
Zoom out
Zoom in