Skip to content

Add quick and dirty undo/redo actions #161

Add quick and dirty undo/redo actions

Add quick and dirty undo/redo actions #161

Triggered via push December 17, 2023 16:35
Status Failure
Total duration 4m 53s
Artifacts 1

ci.yml

on: push
Build with Emscripten
1m 15s
Build with Emscripten
Non regression tests on Linux
54s
Non regression tests on Linux
Non regression tests on MacOS X
4m 37s
Non regression tests on MacOS X
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build with Emscripten
Process completed with exit code 1.
Build with Emscripten
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/

Artifacts

Produced during runtime
Name Size
TimedPetriNetEditor-macos Expired
3.79 MB