Skip to content

Minor cleaning in annotations - #140

Merged
vbgl merged 6 commits into
mainfrom
clean-annotations
Nov 24, 2025
Merged

Minor cleaning in annotations#140
vbgl merged 6 commits into
mainfrom
clean-annotations

Remove legacy #[no_termination_check] annotations

28da4aa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.