CI of IDEAS using GitHub Actions

Merge pull request #1457 from open-ideas/issue1381_EmbeddedPipe #729

Sign in to view logs

Triggered via push August 18, 2025 08:08

master

Status Success

Total duration 32m 9s

Artifacts –

github-actions.yml

on: push