Skip to content
CI of IDEAS using GitHub Actions

Update user's guide #688

Sign in to view logs

Update user's guide

Update user's guide #688

Triggered via pull request August 5, 2025 08:18
@lucasverleyenlucasverleyen
synchronize #1445
lucasverleyen:issue1444_updateUsersGuide
Status Cancelled
Total duration 17m 11s
Artifacts –

github-actions.yml

on: pull_request
build
30s
build
test
16m 38s
test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
test
The operation was canceled.
test
The run was canceled by @lucasverleyen.
CI of IDEAS using GitHub Actions
The run was canceled by @lucasverleyen.