Skip to content
test-p4c-debian

Require the driver binary as a test input instead of trying to find i… #2826

Sign in to view logs

Require the driver binary as a test input instead of trying to find i…

Require the driver binary as a test input instead of trying to find i… #2826

Triggered via push October 23, 2024 19:47
@github-merge-queuegithub-merge-queue[bot]
pushed 75ea563
main
Status Success
Total duration 17m 14s
Artifacts –

ci-test-debian.yml

on: push
test-ubuntu22
16m 41s
test-ubuntu22
Matrix: test-ubuntu20
Fit to window
Zoom out
Zoom in