Skip to content

Actions: kieler/pasta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

publish
publish #17: Manually run by Drakae
November 14, 2024 16:50 57s master
November 14, 2024 16:50 57s
updated version
ci #184: Commit 087e5d0 pushed by Drakae
November 14, 2024 16:46 1m 1s master
November 14, 2024 16:46 1m 1s
updated version
package #70: Commit 087e5d0 pushed by Drakae
November 14, 2024 16:46 1m 2s master
November 14, 2024 16:46 1m 2s
v0.5.3
publish #16: Release v0.5.3 published by Drakae
November 14, 2024 16:44 1m 8s
November 14, 2024 16:44 1m 8s
control structure hiearchy determined by model order
ci #183: Commit ca282aa pushed by Drakae
November 14, 2024 16:42 1m 1s master
November 14, 2024 16:42 1m 1s
control structure hiearchy determined by model order
package #69: Commit ca282aa pushed by Drakae
November 14, 2024 16:42 1m 4s master
November 14, 2024 16:42 1m 4s
fixed LTL generation, linking of node to editor, & editor sync
ci #182: Commit 87944e7 pushed by Drakae
November 14, 2024 14:30 56s master
November 14, 2024 14:30 56s
fixed LTL generation, linking of node to editor, & editor sync
package #68: Commit 87944e7 pushed by Drakae
November 14, 2024 14:30 56s master
November 14, 2024 14:30 56s
v0.5.2
publish #15: Release v0.5.2 published by Drakae
October 21, 2024 08:27 55s
October 21, 2024 08:27 55s
version update
ci #181: Commit 6d24b3f pushed by Drakae
October 21, 2024 08:25 1m 15s master
October 21, 2024 08:25 1m 15s
version update
package #67: Commit 6d24b3f pushed by Drakae
October 21, 2024 08:25 57s master
October 21, 2024 08:25 57s
Merge pull request #46 from kieler/jep/utility
ci #180: Commit 0c4d75f pushed by Drakae
October 21, 2024 08:22 1m 3s master
October 21, 2024 08:22 1m 3s
Merge pull request #46 from kieler/jep/utility
package #66: Commit 0c4d75f pushed by Drakae
October 21, 2024 08:22 57s master
October 21, 2024 08:22 57s
fixed connection of diagram to text for subcomponents
ci #179: Pull request #46 synchronize by Drakae
October 21, 2024 08:19 56s jep/utility
October 21, 2024 08:19 56s
fixed connection of diagram to text for subcomponents
ci #178: Pull request #46 opened by Drakae
October 21, 2024 08:18 57s jep/utility
October 21, 2024 08:18 57s
Merge pull request #45 from kieler/jep/utility
package #65: Commit c218c3c pushed by Drakae
October 11, 2024 12:51 57s master
October 11, 2024 12:51 57s
Merge pull request #45 from kieler/jep/utility
ci #177: Commit c218c3c pushed by Drakae
October 11, 2024 12:51 54s master
October 11, 2024 12:51 54s
Jep/utility
ci #176: Pull request #45 synchronize by Drakae
October 11, 2024 12:49 52s jep/utility
October 11, 2024 12:49 52s
Jep/utility
ci #175: Pull request #45 opened by Drakae
October 11, 2024 10:59 1m 1s jep/utility
October 11, 2024 10:59 1m 1s
v0.5.1
publish #14: Release v0.5.1 published by Drakae
September 30, 2024 12:17 1m 0s
September 30, 2024 12:17 1m 0s
updated version
ci #174: Commit a21f20e pushed by Drakae
September 30, 2024 12:13 1m 2s master
September 30, 2024 12:13 1m 2s
updated version
package #64: Commit a21f20e pushed by Drakae
September 30, 2024 12:13 55s master
September 30, 2024 12:13 55s
Merge pull request #44 from kieler/jep/folding
ci #173: Commit 6b265b2 pushed by Drakae
September 30, 2024 12:06 56s master
September 30, 2024 12:06 56s
Merge pull request #44 from kieler/jep/folding
package #63: Commit 6b265b2 pushed by Drakae
September 30, 2024 12:06 59s master
September 30, 2024 12:06 59s
added folding provider to add foldings for each aspect
ci #172: Pull request #44 synchronize by Drakae
September 30, 2024 12:04 1m 1s jep/folding
September 30, 2024 12:04 1m 1s