Skip to content
CI of IDEAS using GitHub Actions

Update user's guide #689

Sign in to view logs

Update user's guide

Update user's guide #689

Triggered via pull request August 5, 2025 08:34
@lucasverleyenlucasverleyen
synchronize #1445
lucasverleyen:issue1444_updateUsersGuide
Status Success
Total duration 34m 19s
Artifacts –

github-actions.yml

on: pull_request
build
20s
build
test
32m 4s
test
Fit to window
Zoom out
Zoom in