CI of IDEAS using GitHub Actions

Merge pull request #1472 from open-ideas/issue1470_ExtendOperatorRecord #795

Sign in to view logs

Triggered via push December 17, 2025 08:08

master

Status Success

Total duration 38m 45s

Artifacts –

github-actions.yml

on: push