Skip to content

Update to dev15#211

Merged
MikeSullivan7 merged 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:dev15
Jun 16, 2026
Merged

Update to dev15#211
MikeSullivan7 merged 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:dev15

update to dev15

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

Annotations

1 warning
run_ruff / ruff
succeeded Jun 16, 2026 in 13s