Skip to content
Lint

Move provider option names to header file #188

Sign in to view logs

Move provider option names to header file

Move provider option names to header file #188

Triggered via pull request February 3, 2025 22:57
@apwojcikapwojcik
synchronize #86
provider_options
Status Cancelled
Total duration 19h 26m 43s
Artifacts –

lint.yml

on: pull_request
Optional Lint
33s
Optional Lint
Python format
0s
Python format
Optional Lint C++
31m 37s
Optional Lint C++
Lint JavaScript
0s
Lint JavaScript
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Lint JavaScript
Canceling since a higher priority waiting request for 'Lint-refs/pull/86/merge-false' exists
Python format
Canceling since a higher priority waiting request for 'Lint-refs/pull/86/merge-false' exists