Skip to content

Actions: dbera/LTSVisualizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: prepare v0.5.0 release Continuous integration #82: Commit 5c7d859 pushed by dbera
21s v0.5.0
v0.5.0
21s
docs: prepare v0.5.0 release Build offline HTML release #8: Commit 5c7d859 pushed by dbera
29s v0.5.0
v0.5.0
29s
docs: prepare v0.5.0 release Deploy GitHub Pages #11: Commit 5c7d859 pushed by dbera
35s main
main
35s
docs: prepare v0.5.0 release Continuous integration #81: Commit 5c7d859 pushed by dbera
19s main
main
19s
Merge pull request #15 from dbera/feature/declare-constraints Deploy GitHub Pages #10: Commit 181aab2 pushed by dbera
37s main
main
37s
Merge pull request #15 from dbera/feature/declare-constraints Continuous integration #80: Commit 181aab2 pushed by dbera
21s main
main
21s
Add data-aware Declare constraints to path search Continuous integration #79: Pull request #15 opened by dbera
28s feature/declare-constraints
feature/declare-constraints
28s
feat: improve constrained path condition editor Continuous integration #78: Commit 622d585 pushed by dbera
18s feature/declare-constraints
feature/declare-constraints
18s
feat: support multidimensional array conditions Continuous integration #77: Commit e85252d pushed by dbera
24s feature/declare-constraints
feature/declare-constraints
24s
Add optional-target constrained path discovery Continuous integration #76: Commit 2fd3bfc pushed by dbera
22s feature/declare-constraints
feature/declare-constraints
22s
Add optional-target path search semantics Continuous integration #75: Commit 41c622a pushed by dbera
23s feature/declare-constraints
feature/declare-constraints
23s
Add data-aware Declare condition editor Continuous integration #74: Commit c33c087 pushed by dbera
21s feature/declare-constraints
feature/declare-constraints
21s
Add graph-aware transition data field picker Continuous integration #73: Commit 5476ba3 pushed by dbera
30s feature/declare-constraints
feature/declare-constraints
30s
Add graph-aware transition picker Continuous integration #72: Commit 6df53ad pushed by dbera
23s feature/declare-constraints
feature/declare-constraints
23s
Merge pull request #14 from dbera/feature/graph-analysis Continuous integration #71: Commit 26f4fdb pushed by dbera
23s main
main
23s
Merge pull request #14 from dbera/feature/graph-analysis Deploy GitHub Pages #9: Commit 26f4fdb pushed by dbera
44s main
main
44s
Add on-demand terminal-state and SCC analysis Continuous integration #70: Pull request #14 synchronize by dbera
22s feature/graph-analysis
feature/graph-analysis
22s
Document bounded alternative path search Continuous integration #69: Commit 82c51ec pushed by dbera
23s feature/graph-analysis
feature/graph-analysis
23s
Complete bounded alternative path search Continuous integration #68: Commit 3b05225 pushed by dbera
47s feature/graph-analysis
feature/graph-analysis
47s
Add on-demand terminal-state and SCC analysis Continuous integration #67: Pull request #14 opened by dbera
Queued feature/graph-analysis
feature/graph-analysis
Queued
Document graph analysis features Continuous integration #66: Commit 938bf82 pushed by dbera
Queued feature/graph-analysis
feature/graph-analysis
Queued
Add cyclic component analysis navigation Continuous integration #65: Commit ca6e168 pushed by dbera
7m 6s feature/graph-analysis
feature/graph-analysis
7m 6s
Add terminal state analysis navigation Continuous integration #64: Commit fca5571 pushed by dbera
43s feature/graph-analysis
feature/graph-analysis
43s
Add on-demand graph analysis panel Continuous integration #63: Commit 3366c66 pushed by dbera
21s feature/graph-analysis
feature/graph-analysis
21s
Add graph analysis worker controller Continuous integration #62: Commit d288dbb pushed by dbera
25s feature/graph-analysis
feature/graph-analysis
25s