CI ubuntu-20.04 (ocaml latest)

gdb: support for named features #388

Sign in to view logs

Triggered via push July 15, 2023 20:07

Status Success

Total duration 18m 3s

Artifacts –

ubuntu_20_04_build_latest.yml

on: push