Skip to content
CI of IDEAS using GitHub Actions

Merge pull request #1422 from maltelenz/patch-1 #480

Sign in to view logs

Merge pull request #1422 from maltelenz/patch-1

Merge pull request #1422 from maltelenz/patch-1 #480

Triggered via push February 18, 2025 13:49
@jelgerjansenjelgerjansen
pushed ba2d9bd
master
Status Success
Total duration 35m 23s
Artifacts –

github-actions.yml

on: push
build
16s
build
test
34m 52s
test
Fit to window
Zoom out
Zoom in