test cmake options

Merge tag '2023-11-09' into push-2023-11-09 #454

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 10, 2023 12:05

rdementi

push-2023-11-09

Status Skipped

Total duration 6s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-cmake-options.yml

on: push