Skip to content

Set global.platform when not set by the user #79

Set global.platform when not set by the user

Set global.platform when not set by the user #79

Triggered via pull request October 25, 2024 17:00
Status Success
Total duration 6m 0s
Artifacts

coverage.yaml

on: pull_request
Fit to window
Zoom out
Zoom in