Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,661 workflow runs
9,661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #296 from ftsrg/add-svcomp-flag Sonar analysis #1425: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 20m 52s master
master
August 29, 2024 16:27 20m 52s
Merge pull request #296 from ftsrg/add-svcomp-flag macOS build and test #1377: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 23m 26s master
master
August 29, 2024 16:27 23m 26s
Merge pull request #296 from ftsrg/add-svcomp-flag Check formatting #1377: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 1m 19s master
master
August 29, 2024 16:27 1m 19s
Merge pull request #296 from ftsrg/add-svcomp-flag Linux build-test-deploy #1413: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 1h 17m 38s master
master
August 29, 2024 16:27 1h 17m 38s
Merge pull request #296 from ftsrg/add-svcomp-flag Windows build and test #1377: Commit cb77d7e pushed by leventeBajczi
August 29, 2024 16:27 20m 20s master
master
August 29, 2024 16:27 20m 20s
added new flag --only-svcomp-witness Windows build and test #1376: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 16m 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 16m 32s
added new flag --only-svcomp-witness Check copyright #1432: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 32s
added new flag --only-svcomp-witness macOS build and test #1376: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 28m 37s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 28m 37s
added new flag --only-svcomp-witness Linux build-test-deploy #1412: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 1h 2m 27s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 1h 2m 27s
added new flag --only-svcomp-witness Check version #659: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 4m 21s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 4m 21s
added new flag --only-svcomp-witness Check formatting #1376: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 1m 26s add-svcomp-flag
add-svcomp-flag
August 29, 2024 16:27 1m 26s
added new flag --only-svcomp-witness Sonar analysis #1424: Pull request #296 opened by AdamZsofi
August 29, 2024 16:27 34s
August 29, 2024 16:27 34s
added new flag --only-svcomp-witness Windows build and test #1375: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 16m 23s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 16m 23s
added new flag --only-svcomp-witness Sonar analysis #1423: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 15m 19s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 15m 19s
added new flag --only-svcomp-witness macOS build and test #1375: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 27m 3s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 27m 3s
added new flag --only-svcomp-witness Linux build-test-deploy #1411: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 1h 1m 37s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 1h 1m 37s
added new flag --only-svcomp-witness Check copyright #1431: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 32s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 32s
added new flag --only-svcomp-witness Check formatting #1375: Commit 87e30af pushed by leventeBajczi
August 29, 2024 14:28 1m 35s add-svcomp-flag
add-svcomp-flag
August 29, 2024 14:28 1m 35s
merge master into tracegen Linux build-test-deploy #1410: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 4m 48s trace-generation
trace-generation
August 19, 2024 11:01 4m 48s
merge master into tracegen Check formatting #1374: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 1m 26s trace-generation
trace-generation
August 19, 2024 11:01 1m 26s
merge master into tracegen macOS build and test #1374: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 4m 15s trace-generation
trace-generation
August 19, 2024 11:01 4m 15s
merge master into tracegen Sonar analysis #1422: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 1m 59s trace-generation
trace-generation
August 19, 2024 11:01 1m 59s
merge master into tracegen Windows build and test #1374: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 4m 56s trace-generation
trace-generation
August 19, 2024 11:01 4m 56s
merge master into tracegen Check copyright #1430: Commit 67286f1 pushed by AdamZsofi
August 19, 2024 11:01 32s trace-generation
trace-generation
August 19, 2024 11:01 32s
Change Preconditions check to assertion Check copyright #1429: Commit ea0d2b2 pushed by mondokm
August 15, 2024 14:38 29s mdd-dev
mdd-dev
August 15, 2024 14:38 29s