Skip to content
Deploy RDoc site to GitHub Pages

Merge pull request #531 from ledsun/improve_errer_mesage_for_property #434

Sign in to view logs

Merge pull request #531 from ledsun/improve_errer_mesage_for_property

Merge pull request #531 from ledsun/improve_errer_mesage_for_property #434

Triggered via push October 1, 2024 03:53
@kateinoigakukunkateinoigakukun
pushed d5da762
main
Status Cancelled
Total duration 23s
Artifacts –

docs.yml

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

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'pages' exists
build
The operation was canceled.