Skip to content
Type-check

Separate time components in logfile names with periods #2673

Sign in to view logs

Separate time components in logfile names with periods

Separate time components in logfile names with periods #2673

Triggered via push May 23, 2024 12:34
@jwodderjwodder
pushed 61a1848
split-logfile-names
Status Success
Total duration 1m 18s
Artifacts –

typing.yml

on: push
typing
1m 6s
typing
Fit to window
Zoom out
Zoom in