Closed bgilbert closed 1 year ago
The build does not succeed, even with #66, but it seems useful to add the job anyway for visibility.
Agreed.
The build does not succeed, even with #66, but it seems useful to add the job anyway for visibility.