Skip to content
Formatting

Add flag for toggling early termination, improve types #5

Sign in to view logs

Add flag for toggling early termination, improve types

Add flag for toggling early termination, improve types #5

Triggered via push May 3, 2025 05:36
@brentyibrentyi
pushed 366afd8
main
Status Success
Total duration 17s
Artifacts –

formatting.yml

on: push
formatting
9s
formatting
Fit to window
Zoom out
Zoom in