Skip to content

Actions: SWAT-project/SWAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 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
Merge niklas/dev into dev: approximate-model and loop-state fixes Java CI with Gradle #313: Commit 64b9038 pushed by solid-eureka
8m 1s svcomp27-rc2
svcomp27-rc2
8m 1s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #312: Pull request #30 synchronize by solid-eureka
8m 21s dev
dev
8m 21s
Merge dev into niklas/dev: the SV-COMP archive runs the static pre-an… Java CI with Gradle #311: Commit 8da25d3 pushed by solid-eureka
6m 18s niklas/dev
niklas/dev
6m 18s
Merge niklas/dev into dev: approximate-model and loop-state fixes Java CI with Gradle #310: Commit 64b9038 pushed by solid-eureka
7m 15s dev
dev
7m 15s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #309: Pull request #30 synchronize by solid-eureka
11m 6s dev
dev
11m 6s
Merge niklas/svcomp-sa-package into dev: the SV-COMP archive runs the… Java CI with Gradle #308: Commit 15759c0 pushed by solid-eureka
11m 49s dev
dev
11m 49s
Java CI with Gradle Java CI with Gradle #307: Manually run by solid-eureka
11m 3s niklas/svcomp-sa-package
niklas/svcomp-sa-package
11m 3s
cfg-extraction.ref: v0.2.1 (fat jar with component list, no GPL graph4j) Java CI with Gradle #306: Commit b24964c pushed by solid-eureka
12m 5s niklas/svcomp-sa-package
niklas/svcomp-sa-package
12m 5s
SV-COMP archive: ship and run the static pre-analysis Java CI with Gradle #305: Commit 08e7a41 pushed by solid-eureka
11m 6s niklas/svcomp-sa-package
niklas/svcomp-sa-package
11m 6s
Merge niklas/dev into svcomp27/overnight-solver-perf: --search-order … Java CI with Gradle #304: Commit 533c17b pushed by solid-eureka
8m 36s svcomp27/overnight-solver-perf
svcomp27/overnight-solver-perf
8m 36s
Merge niklas/coverage-default into dev: --search-order coverage by de… Java CI with Gradle #303: Commit 8c8394a pushed by solid-eureka
9m 56s niklas/dev
niklas/dev
9m 56s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #302: Pull request #30 synchronize by solid-eureka
9m 59s dev
dev
9m 59s
Merge niklas/coverage-default into dev: --search-order coverage by de… Java CI with Gradle #301: Commit 8c8394a pushed by solid-eureka
9m 19s dev
dev
9m 19s
Make --search-order coverage the default Java CI with Gradle #300: Commit 323f09e pushed by solid-eureka
9m 16s niklas/coverage-default
niklas/coverage-default
9m 16s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #299: Pull request #30 synchronize by solid-eureka
8m 44s dev
dev
8m 44s
Merge niklas/dev into dev Java CI with Gradle #298: Commit eb00840 pushed by solid-eureka
7m 53s dev
dev
7m 53s
Merge niklas/dev into svcomp27/overnight-solver-perf Java CI with Gradle #297: Commit 7684fbc pushed by solid-eureka
9m 1s svcomp27/overnight-solver-perf
svcomp27/overnight-solver-perf
9m 1s
Type the SA code fully; it passes mypy Java CI with Gradle #296: Commit 56fe56a pushed by solid-eureka
9m 48s niklas/dev
niklas/dev
9m 48s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #295: Pull request #30 synchronize by solid-eureka
7m 31s dev
dev
7m 31s
Merge svcomp27/overnight-solver-perf into dev Java CI with Gradle #294: Commit f6c0d20 pushed by solid-eureka
8m 45s dev
dev
8m 45s
Merge pull request #109 from SWAT-project/niklas/relevance-slicing Java CI with Gradle #293: Commit 66da216 pushed by solid-eureka
8m 56s svcomp27/overnight-solver-perf
svcomp27/overnight-solver-perf
8m 56s
Type the SA code fully; it passes mypy Java CI with Gradle #292: Commit 56fe56a pushed by solid-eureka
9m 5s niklas/sa-cleanup
niklas/sa-cleanup
9m 5s
dfs: check a flag on a special node at the next branch Java CI with Gradle #291: Commit 33fd156 pushed by solid-eureka
9m 6s niklas/verify-unmodelled
niklas/verify-unmodelled
9m 6s
dfs: drop the UNMODELLED_EXCEPTION special-node case Java CI with Gradle #290: Commit 3f2dfa4 pushed by solid-eureka
9m 38s niklas/dev
niklas/dev
9m 38s
Add packaging mechanism to automatically build SV-Comp zip Java CI with Gradle #289: Pull request #30 synchronize by solid-eureka
9m 17s dev
dev
9m 17s