Skip to content

Actions: staticafi/symbiotic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
Update web with SV-COMP 2026 and Test-COmp 2026 results Linux CI #279: Commit 4474bb9 pushed by strejcek
34m 48s main
main
34m 48s
pages build and deployment pages-build-deployment #34: by strejcek
47s main
main
47s
Improve termination analysis Linux CI #278: Pull request #273 opened by ayazip
19m 14s ayazip:sbt-svcomp26-termination
ayazip:sbt-svcomp26-termination
19m 14s
Generate witnesses in version 2.1 Linux CI #277: Pull request #269 synchronize by ayazip
10m 37s witnesses-2.1-rebase
witnesses-2.1-rebase
10m 37s
Add function models Linux CI #276: Pull request #270 synchronize by ayazip
10m 1s ayazip:sbt-svcomp26-add-function-models
ayazip:sbt-svcomp26-add-function-models
10m 1s
Fix error locations in witnesses for SV-COMP Linux CI #275: Pull request #272 opened by ayazip
10m 0s ayazip:sbt-svcomp26-error-reporting
ayazip:sbt-svcomp26-error-reporting
10m 0s
Add function models Linux CI #274: Pull request #270 synchronize by ayazip
9m 10s ayazip:sbt-svcomp26-add-function-models
ayazip:sbt-svcomp26-add-function-models
9m 10s
Add 'svcomp26' branch to pull request triggers Linux CI #273: Pull request #271 opened by vmihalko
9m 17s vmihalko-patch-1
vmihalko-patch-1
9m 17s
Generate witnesses in version 2.1 Linux CI #272: Pull request #269 opened by ayazip
11m 6s witnesses-2.1-rebase
witnesses-2.1-rebase
11m 6s
Integrate all svcomp25 changes (#267) Linux CI #271: Commit f756351 pushed by martinjonas
18m 37s main
main
18m 37s
pages build and deployment pages-build-deployment #33: by martinjonas
42s main
main
42s