coq: add support for -native-compiler yes #724928

Sign in to view logs

Triggered via pull request March 20, 2024 21:27

wegank

labeled #224110

Status Skipped

Total duration 2s

Artifacts –

backport.yml

on: pull_request_target

Backport Pull Request