Skip to content

Actions: staticafi/symbiotic

Actions

Linux CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
10 workflow runs
10 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: update Linux CI #280: Pull request #276 opened by vmihalko
21m 36s vmihalko:vmihalko-ci-ubuntu-24.04
vmihalko:vmihalko-ci-ubuntu-24.04
21m 36s
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
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