Skip to content
Add integration tasks to Integration project

Is there a function already to generate Petri.Model from LabelledPetriNet? #37

Sign in to view logs

Is there a function already to generate Petri.Model from LabelledPetriNet?

Is there a function already to generate Petri.Model from LabelledPetriNet? #37

Triggered via issue September 26, 2024 18:00
@sdwfrostsdwfrost
opened #177 df03fc6
Status Success
Total duration 12s
Artifacts –

integration-issues.yml

on: issues
Add integration issue to project
2s

Annotations

1 warning
Add integration issue to project
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/add-to-project@4756e6330fe1e0a736690d3cfd9f11c9399c2ed4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/