Skip to content

github: factor out platform rebase into own workflow #50

github: factor out platform rebase into own workflow

github: factor out platform rebase into own workflow #50

Triggered via pull request July 26, 2024 01:58
@lsf37lsf37
synchronize #803
Status Success
Total duration 43s
Artifacts

lint.yml

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