Skip to content
PR Tests

Merge branch 'main' into wip/harmless-defaults #152

Sign in to view logs

Merge branch 'main' into wip/harmless-defaults

Merge branch 'main' into wip/harmless-defaults #152

Triggered via push October 15, 2023 18:01
@jnussbaumjnussbaum
pushed f48777b
wip/harmless-defaults
Status Success
Total duration 47s
Artifacts –

pr-tests.yml

on: push
pr-tests
38s
pr-tests
Fit to window
Zoom out
Zoom in