status: Rename query-booted to is-default #195
Triggered via pull request
January 9, 2024 15:25
ericcurtin
ericcurtin
opened
#3136
Status
Success
Total duration
15s
Artifacts
–