Skip to content

Actions: dbera/LTSVisualizer

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
107 workflow runs
107 workflow runs

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
Add visual editor for Declare correlation aliases Continuous integration #107: Commit 7c14b8b pushed by dbera
20s feature/fix_layouting_of_paths
feature/fix_layouting_of_paths
20s
Add correlation alias foundation Continuous integration #106: Commit 2518daa pushed by dbera
26s feature/fix_layouting_of_paths
feature/fix_layouting_of_paths
26s
fixed layouting issue for paths Continuous integration #105: Commit e198114 pushed by dbera
28s feature/fix_layouting_of_paths
feature/fix_layouting_of_paths
28s
Prepare LTSVisualizer 0.6.0 release Continuous integration #104: Commit 9fad41d pushed by dbera
17s feature/fix_layouting_of_paths
feature/fix_layouting_of_paths
17s
deps(deps-dev): bump the frontend-development-dependencies group across 1 directory with 2 updates Continuous integration #103: Pull request #16 synchronize by dependabot Bot
23s dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
23s
deps(deps-dev): bump the frontend-development-dependencies group acro… Continuous integration #102: Commit c51dd4e pushed by dependabot Bot
27s dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
27s
Prepare LTSVisualizer 0.6.0 release Continuous integration #101: Commit 9fad41d pushed by dbera
18s v0.6.0
v0.6.0
18s
Prepare LTSVisualizer 0.6.0 release Continuous integration #100: Commit 9fad41d pushed by dbera
21s main
main
21s
Merge pull request #18 from dbera/feature/generic-any-witness-search Continuous integration #99: Commit e6ec6b4 pushed by dbera
25s main
main
25s
Add generic any-witness strategy for constrained path search Continuous integration #98: Pull request #18 synchronize by dbera
28s feature/generic-any-witness-search
feature/generic-any-witness-search
28s
Updated Documentation Continuous integration #97: Commit 1b78690 pushed by dbera
25s feature/generic-any-witness-search
feature/generic-any-witness-search
25s
Add generic any-witness strategy for constrained path search Continuous integration #96: Pull request #18 opened by dbera
17s feature/generic-any-witness-search
feature/generic-any-witness-search
17s
Allow multiple any-witness paths Continuous integration #95: Commit 2b37d93 pushed by dbera
19s feature/generic-any-witness-search
feature/generic-any-witness-search
19s
Add any-witness path search strategy Continuous integration #94: Commit fd9be4a pushed by dbera
19s feature/generic-any-witness-search
feature/generic-any-witness-search
19s
docs: update Declare search documentation Continuous integration #93: Commit 86adbe5 pushed by dbera
30s feature/generic-any-witness-search
feature/generic-any-witness-search
30s
docs: update Declare search documentation Continuous integration #92: Commit 86adbe5 pushed by dbera
18s main
main
18s
Merge pull request #17 from dbera/feature/explainable-persistable-dec… Continuous integration #91: Commit 62ff8f0 pushed by dbera
29s main
main
29s
Add explainable, persistable Declare constraints to path search Continuous integration #90: Pull request #17 opened by dbera
33s feature/explainable-persistable-declare
feature/explainable-persistable-declare
33s
fix: align alternative templates to be declare compliant and enforce … Continuous integration #89: Commit 2540d5b pushed by dbera
20s feature/explainable-persistable-declare
feature/explainable-persistable-declare
20s
feat: explainability last commit before testing and losing context Continuous integration #88: Commit 58074da pushed by dbera
27s feature/explainable-persistable-declare
feature/explainable-persistable-declare
27s
deps(deps-dev): bump the frontend-development-dependencies group across 1 directory with 2 updates Continuous integration #87: Pull request #16 opened by dependabot Bot
20s dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
20s
deps(deps-dev): bump the frontend-development-dependencies group acro… Continuous integration #86: Commit 7d36f10 pushed by dependabot Bot
23s dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
dependabot/npm_and_yarn/frontend/frontend-development-dependencies-eb15c5bfc9
23s
feat: persist path search configuration Continuous integration #85: Commit 2499da5 pushed by dbera
18s feature/explainable-persistable-declare
feature/explainable-persistable-declare
18s
feat: support persistable Declare constraints Continuous integration #84: Commit d946a4b pushed by dbera
18s feature/explainable-persistable-declare
feature/explainable-persistable-declare
18s
docs: prepare v0.5.0 release Continuous integration #83: Commit 5c7d859 pushed by dbera
18s feature/explainable-persistable-declare
feature/explainable-persistable-declare
18s