Skip to content
Deploy RDoc site to GitHub Pages

Merge pull request #620 from ledsun/update_magnus_0.8 #502

Sign in to view logs

Merge pull request #620 from ledsun/update_magnus_0.8

Merge pull request #620 from ledsun/update_magnus_0.8 #502

Triggered via push January 4, 2026 02:48
@kateinoigakukunkateinoigakukun
pushed c3a92e9
main
Status Cancelled
Total duration 22s
Artifacts –

docs.yml

on: push
build
19s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Deploy RDoc site to GitHub Pages
Canceling since a higher priority waiting request for pages exists
build
Canceling since a higher priority waiting request for pages exists
build
The operation was canceled.