OpenPonk / openponk / 657515216

Builds Branch Commit Type Ran Committer Via Coverage
657515216 master fixed OPVersion fullVersion printing push Jan Bliznicenko github pending completion   set done
657484125 master Moved to GH Actions push Jan Bliznicenko github pending completion   set done
392 master fixed first opening project with multiple diagrams push JanBliznicenko travis-ci-com pending completion   set done
391 master finished crude adding models to project push JanBliznicenko travis-ci-com pending completion   set done
390 dev/honza finished crude adding models to project push JanBliznicenko travis-ci-com pending completion   set done
389 dev/honza fixed tests push JanBliznicenko travis-ci-com pending completion   set done
388 dev/honza rebuilt show/hide element browser push JanBliznicenko travis-ci-com pending completion   set done
387 dev/honza fixed common elements extent persistence push JanBliznicenko travis-ci-com pending completion   set done
386 dev/honza fixed common elements extent persistence push JanBliznicenko travis-ci-com pending completion   set done
385 dev/honza Merge 984ca8833 push JanBliznicenko travis-ci-com pending completion   set done
384 dev/honza common elements persistence push JanBliznicenko travis-ci-com pending completion   set done
383 dev/honza fixed boundary push JanBliznicenko travis-ci-com pending completion   set done
382 dev/honza code cleanup push JanBliznicenko travis-ci-com pending completion   set done
381 dev/honza work in progress on common elements push JanBliznicenko travis-ci-com pending completion   set done
380 v2.0.1 fixed petrinets version push JanBliznicenko travis-ci-com pending completion   set done