test-p4c-debian

Add a couple of missing ENABLE_* flags to README (#4968) #2787

Sign in to view logs

Triggered via push October 21, 2024 18:37

github-merge-queue[bot]

main

Status Success

Total duration 18m 24s

Artifacts –

ci-test-debian.yml

on: push

Matrix: test-ubuntu20