Skip to content

Try out Jarl#418

Merged
hfrick merged 1 commit intomainfrom
jarl
Jan 30, 2026
Merged

Try out Jarl#418
hfrick merged 1 commit intomainfrom
jarl

Conversation

@hfrick
Copy link
Member

@hfrick hfrick commented Jan 30, 2026

with jarl check --fix . and manual touchups on
c(0, .25) -> c(0, 0.25)

@hfrick hfrick merged commit c388232 into main Jan 30, 2026
15 checks passed
@hfrick hfrick deleted the jarl branch January 30, 2026 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant