Skip to content
p4c-lint

Small fixes for p4tc (#5097) #7087

Sign in to view logs

Small fixes for p4tc (#5097)

Small fixes for p4tc (#5097) #7087

Triggered via push January 23, 2025 15:36
@github-merge-queuegithub-merge-queue[bot]
pushed e583d22
main
Status Success
Total duration 3m 54s
Artifacts –

ci-lint.yaml

on: push
p4c-lint
3m 46s
p4c-lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
p4c-lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.