Skip to content
GitHub CI

fix: permissions for release #176

Sign in to view logs

fix: permissions for release

fix: permissions for release #176

Triggered via pull request February 3, 2025 10:03
@jorgepilotojorgepiloto
opened #31
fix/permissions
Status Cancelled
Total duration 1m 26s
Artifacts –

ci.yml

on: pull_request
Doc style
26s
Doc style
Code style
1m 11s
Code style
Update CHANGELOG (on release)
0s
Update CHANGELOG (on release)
Check the name of the PR
3s
Check the name of the PR
Doc building
25s
Doc building
Smoke test
0s
Smoke test
Build
0s
Build
Release project
0s
Release project
Deploy development documentation
0s
Deploy development documentation
Deploy stable documentation
0s
Deploy stable documentation
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Doc building
Canceling since a higher priority waiting request for 'GitHub CI-refs/pull/31/merge' exists
Code style
Canceling since a higher priority waiting request for 'GitHub CI-refs/pull/31/merge' exists