Skip to content

Disable cross-effect subtyping of arrows #144

Disable cross-effect subtyping of arrows

Disable cross-effect subtyping of arrows #144

Annotations

1 warning

check_stale_hints

succeeded Jan 10, 2025 in 8s
Set up job
0s
Run actions/checkout@v4
3s
Run L=$(.scripts/remove_stale_hints.sh list)
2s
Post Run actions/checkout@v4
0s
Complete job
0s