Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: szaboeva2004/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enabling all or no optimizations Sonar analysis #2: Commit 0b55508 pushed by szaboeva2004
14s btor2xcfa
btor2xcfa
14s
Enabling all or no optimizations macOS build and test #2: Commit 0b55508 pushed by szaboeva2004
16m 55s btor2xcfa
btor2xcfa
16m 55s
Enabling all or no optimizations Check copyright #2: Commit 0b55508 pushed by szaboeva2004
29s btor2xcfa
btor2xcfa
29s
Enabling all or no optimizations Linux build-test-deploy #2: Commit 0b55508 pushed by szaboeva2004
6h 7m 39s btor2xcfa
btor2xcfa
6h 7m 39s
Enabling all or no optimizations Check formatting #2: Commit 0b55508 pushed by szaboeva2004
3m 1s btor2xcfa
btor2xcfa
3m 1s
Enabling all or no optimizations Windows build and test #2: Commit 0b55508 pushed by szaboeva2004
16m 58s btor2xcfa
btor2xcfa
16m 58s
merge mainline theta Sonar analysis #1: Commit be3015d pushed by AdamZsofi
17s btor2xcfa
btor2xcfa
17s
merge mainline theta Check copyright #1: Commit be3015d pushed by AdamZsofi
27s btor2xcfa
btor2xcfa
27s
merge mainline theta Windows build and test #1: Commit be3015d pushed by AdamZsofi
15m 8s btor2xcfa
btor2xcfa
15m 8s
merge mainline theta Linux build-test-deploy #1: Commit be3015d pushed by AdamZsofi
33m 22s btor2xcfa
btor2xcfa
33m 22s
merge mainline theta Check formatting #1: Commit be3015d pushed by AdamZsofi
3m 11s btor2xcfa
btor2xcfa
3m 11s
merge mainline theta macOS build and test #1: Commit be3015d pushed by AdamZsofi
12m 2s btor2xcfa
btor2xcfa
12m 2s