Skip to content
Publish the online TimedPetriNetEditor version on GitHub page

Hot quick and dirty fix: seeting depending on the type of net was not… #10

Sign in to view logs

Hot quick and dirty fix: seeting depending on the type of net was not…

Hot quick and dirty fix: seeting depending on the type of net was not… #10

Triggered via push December 24, 2023 15:39
@LecrapouilleLecrapouille
pushed 67b6f2e
dev-refactor
Status Failure
Total duration 1m 15s
Artifacts –

publish_web_version.yml

on: push
Publish on gh-pages
1m 6s
Publish on gh-pages
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Publish on gh-pages
Process completed with exit code 1.
Publish on gh-pages
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/