Skip to content
jsonlint

Make automerge more robust #7775

Sign in to view logs

Make automerge more robust

Make automerge more robust #7775

Triggered via push October 4, 2023 08:30
@kevinvanrijnkevinvanrijn
pushed d1e9718
master
Status Success
Total duration 9m 59s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

jsonlint.yml

on: push
jsonlint
12s
jsonlint
Fit to window
Zoom out
Zoom in