Skip to content

github: factor out platform rebase into own workflow #48

github: factor out platform rebase into own workflow

github: factor out platform rebase into own workflow #48

Triggered via pull request July 26, 2024 00:44
@lsf37lsf37
synchronize #803
Status Success
Total duration 39s
Artifacts

lint.yml

on: pull_request_target
Theory Linter
31s
Theory Linter
Fit to window
Zoom out
Zoom in