Skip to content

Actions: dsldevkit/dsl-devkit

Actions

verify

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
1,425 workflow runs
1,425 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
ci: archive the test log of failed verify builds verify #3918: Pull request #1564 opened by joaodinissf
11m 6s ci/fix-test-log-upload
ci/fix-test-log-upload
11m 6s
[WIP] do not store check implementation verify #3917: Pull request #1508 synchronize by rubenporras
7m 23s rubenporras:do_not_store_check_implementation
rubenporras:do_not_store_check_implementation
7m 23s
perf(scope,export): reuse the model type resolver, class loader and genmodel lookups within a generation pass verify #3916: Pull request #1547 synchronize by joaodinissf
12m 46s joaodinissf:perf/scope-export-generation-reuse
joaodinissf:perf/scope-export-generation-reuse
12m 46s
build: target update to Eclipse 2026-09 verify #3915: Pull request #1558 synchronize by joaodinissf
17m 30s build/target-2026-09
build/target-2026-09
17m 30s
test(xtext): make the case-sensitive exact pattern test discriminate verify #3914: Pull request #1563 opened by joaodinissf
8m 36s test/case-sensitive-exact-pattern
test/case-sensitive-exact-pattern
8m 36s
refactor(expression): take the segments of a Java type name as varargs verify #3913: Pull request #1562 opened by joaodinissf
12m 39s refactor/java-name-varargs
refactor/java-name-varargs
12m 39s
build: target update to Eclipse 2026-09 verify #3912: Pull request #1558 synchronize by joaodinissf
13m 26s build/target-2026-09
build/target-2026-09
13m 26s
build: prepare DDK release 19.3.0 verify #3911: Pull request #1561 opened by joaodinissf
13m 23s build/prepare-release-19.3.0
build/prepare-release-19.3.0
13m 23s
build: target update to Eclipse 2026-09 verify #3910: Pull request #1558 reopened by joaodinissf
10m 2s build/target-2026-09
build/target-2026-09
10m 2s
build: target update to Eclipse 2026-09 verify #3909: Pull request #1558 synchronize by joaodinissf
5m 20s build/target-2026-09
build/target-2026-09
5m 20s
ci: build master changes through a merge queue verify #3908: Pull request #1560 opened by joaodinissf
9m 49s ci/merge-queue
ci/merge-queue
9m 49s
build: stop replacing built artifacts with the previous snapshot's verify #3907: Pull request #1559 opened by joaodinissf
12m 52s fix/drop-snapshot-baseline-swap
fix/drop-snapshot-baseline-swap
12m 52s
build: target update to Eclipse 2026-09 verify #3906: Pull request #1558 synchronize by joaodinissf
16m 16s build/target-2026-09
build/target-2026-09
16m 16s
build: target update to Eclipse 2026-09 verify #3905: Pull request #1558 opened by joaodinissf
4m 46s build/target-2026-09
build/target-2026-09
4m 46s
fix(test.ui): open the view menu before searching DynamicViewMenu items verify #3904: Pull request #1557 opened by joaodinissf
13m 12s fix/dynamic-view-menu-lazy
fix/dynamic-view-menu-lazy
13m 12s
[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans verify #3903: Pull request #1549 synchronize by joaodinissf
10m 0s docs/formal-verification-reference
docs/formal-verification-reference
10m 0s
fix(export,scope): record the Java types a model names as dependencies verify #3902: Pull request #1556 synchronize by joaodinissf
11m 59s joaodinissf:fix/export-extension-dependencies
joaodinissf:fix/export-extension-dependencies
11m 59s
fix(builder): abandon the load operation when a resource load times out verify #3901: Pull request #1553 synchronize by joaodinissf
13m 26s fix/parallel-loader-timeout-count
fix/parallel-loader-timeout-count
13m 26s
fix(export,scope): record the Java types a model names as dependencies verify #3900: Pull request #1556 synchronize by joaodinissf
7m 44s joaodinissf:fix/export-extension-dependencies
joaodinissf:fix/export-extension-dependencies
7m 44s
fix(export,scope): record the Java types a model names as dependencies verify #3899: Pull request #1556 opened by joaodinissf
7m 23s joaodinissf:fix/export-extension-dependencies
joaodinissf:fix/export-extension-dependencies
7m 23s
ci: scope pull-request analysis and avoid redundant compilation verify #3898: Pull request #1484 synchronize by joaodinissf
8m 55s ci/spotbugs-skip
ci/spotbugs-skip
8m 55s
ci: reliable static-analysis gates and SARIF annotations verify #3897: Pull request #1483 synchronize by joaodinissf
8m 32s ci/static-analysis-sarif
ci/static-analysis-sarif
8m 32s
ci: reliable static-analysis gates and SARIF annotations verify #3896: Pull request #1483 synchronize by joaodinissf
8m 29s ci/static-analysis-sarif
ci/static-analysis-sarif
8m 29s
feat: generate Check docs headlessly via Maven + PDE-free toc/contexts templates verify #3895: Pull request #1364 synchronize by joaodinissf
12m 28s joaodinissf:check-docs-maven-poc
joaodinissf:check-docs-maven-poc
12m 28s
docs(export): correct the GenModelUtilX context Javadoc and test its restore verify #3894: Pull request #1555 opened by joaodinissf
12m 48s joaodinissf:fix/export-genmodel-context-followup
joaodinissf:fix/export-genmodel-context-followup
12m 48s