Skip to content
Lint PR

build: Move Git submodules to extern directory #356

Sign in to view logs

build: Move Git submodules to extern directory

build: Move Git submodules to extern directory #356

Triggered via pull request September 13, 2024 05:54
@matthewfeickertmatthewfeickert
synchronize #314
matthewfeickert:build/use-extern
Status Cancelled
Total duration 12s
Artifacts –

pr.yml

on: pull_request
Validate PR title
1s
Validate PR title
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Validate PR title
Canceling since a higher priority waiting request for 'semantic-pr-title-build/use-extern' exists
Validate PR title
A task was canceled.