Skip to content
CI of IDEAS using GitHub Actions

Merge pull request #1427 from open-ideas/issue1426_CtrlBeta #487

Sign in to view logs

Merge pull request #1427 from open-ideas/issue1426_CtrlBeta

Merge pull request #1427 from open-ideas/issue1426_CtrlBeta #487

Triggered via push February 24, 2025 16:21
@jelgerjansenjelgerjansen
pushed e930567
master
Status Success
Total duration 31m 56s
Artifacts –

github-actions.yml

on: push
build
19s
build
test
31m 26s
test
Fit to window
Zoom out
Zoom in