Skip to content

Actions: staticafi/symbiotic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Integrate all svcomp25 changes Linux CI #270: Pull request #267 synchronize by martinjonas
7m 32s svcomp25
svcomp25
7m 32s
Integrate all svcomp25 changes Linux CI #269: Pull request #267 synchronize by martinjonas
6m 41s svcomp25
svcomp25
6m 41s
Integrate all svcomp25 changes Linux CI #268: Pull request #267 synchronize by martinjonas
7m 0s svcomp25
svcomp25
7m 0s
Integrate all svcomp25 changes Linux CI #267: Pull request #267 synchronize by martinjonas
6m 44s svcomp25
svcomp25
6m 44s
Integrate all svcomp25 changes Linux CI #266: Pull request #267 synchronize by martinjonas
30s svcomp25
svcomp25
30s
Integrate all svcomp25 changes Linux CI #265: Pull request #267 opened by martinjonas
6m 9s svcomp25
svcomp25
6m 9s
Use upstream JetKlee Linux CI #264: Commit 632eac6 pushed by martinjonas
9m 14s main
main
9m 14s
pages build and deployment pages-build-deployment #32: by martinjonas
40s main
main
40s
Use upstream JetKlee Linux CI #263: Pull request #266 opened by martinjonas
9m 3s upstream-jetklee
upstream-jetklee
9m 3s
Use upstream sbt-instrumentation. (#264) Linux CI #262: Commit d4c1cf5 pushed by martinjonas
9m 51s main
main
9m 51s
pages build and deployment pages-build-deployment #31: by martinjonas
38s main
main
38s
Use upstream sbt-instrumentation Linux CI #261: Pull request #264 synchronize by martinjonas
9m 35s upstream-sbt-instrumentation
upstream-sbt-instrumentation
9m 35s
Use upstream sbt-slicer. (#263) Linux CI #260: Commit 86c67ab pushed by martinjonas
8m 55s main
main
8m 55s
pages build and deployment pages-build-deployment #30: by martinjonas
40s main
main
40s
Use upstream sbt-slicer Linux CI #259: Pull request #263 synchronize by martinjonas
18m 5s upstream-sbt-slicer
upstream-sbt-slicer
18m 5s
Use upstream dg (#265) Linux CI #258: Commit 35b111f pushed by martinjonas
18m 31s main
main
18m 31s