Skip to content

fix: proper "excess binders" error locations for rintro and intro #2510

fix: proper "excess binders" error locations for rintro and intro

fix: proper "excess binders" error locations for rintro and intro #2510

Annotations

1 warning

update-stage0

succeeded Jan 8, 2025 in 21s
Set up job
1s
Run actions/checkout@v4
19s
Run echo "should_update_stage0=yes" >> "$GITHUB_ENV"
0s
Check if automatic update is needed
0s
Setup git user
0s
Restore Build Cache
0s
Further Set Up Nix Cache
0s
Install Nix
0s
Run nix run .#update-stage0-commit
0s
Run git show --stat
0s
Sanity check
0s
Run git push origin
0s
Post Run actions/checkout@v4
0s
Complete job
0s