Skip to content

Mouse management

Mouse management #140

Triggered via push November 7, 2023 23:44
Status Success
Total duration 1m 47s
Artifacts 1

ci.yml

on: push
Build with Emscripten
1m 38s
Build with Emscripten
Non regression tests on Linux
1m 22s
Non regression tests on Linux
Non regression tests on MacOS X
1m 19s
Non regression tests on MacOS X
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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.64 MB