Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
976 workflow run results
976 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated delta jar macOS build and test #649: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 1m 24s zeta-merge
zeta-merge
February 26, 2024 14:11 1m 24s
Updated delta jar Check formatting #649: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 1m 26s zeta-merge
zeta-merge
February 26, 2024 14:11 1m 26s
Updated delta jar Windows build and test #649: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 1m 26s zeta-merge
zeta-merge
February 26, 2024 14:11 1m 26s
Updated delta jar Sonar analysis #647: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 1m 23s zeta-merge
zeta-merge
February 26, 2024 14:11 1m 23s
Updated delta jar Check copyright #705: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 29s zeta-merge
zeta-merge
February 26, 2024 14:11 29s
Updated delta jar Linux build-test-deploy #659: Commit 381f2b6 pushed by mondokm
February 26, 2024 14:11 1m 37s zeta-merge
zeta-merge
February 26, 2024 14:11 1m 37s
Reenabled assertions Check formatting #648: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 1m 23s zeta-merge
zeta-merge
February 26, 2024 13:32 1m 23s
Reenabled assertions Check copyright #704: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 28s zeta-merge
zeta-merge
February 26, 2024 13:32 28s
Reenabled assertions Linux build-test-deploy #658: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 22m 59s zeta-merge
zeta-merge
February 26, 2024 13:32 22m 59s
Reenabled assertions Sonar analysis #646: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 8m 10s zeta-merge
zeta-merge
February 26, 2024 13:32 8m 10s
Reenabled assertions Windows build and test #648: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 12m 45s zeta-merge
zeta-merge
February 26, 2024 13:32 12m 45s
Reenabled assertions macOS build and test #648: Commit b9571e0 pushed by mondokm
February 26, 2024 13:32 18m 4s zeta-merge
zeta-merge
February 26, 2024 13:32 18m 4s
Modified InProcessChecker to return EmptyWitness, EmptyCex Check copyright #703: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 30s zeta-merge
zeta-merge
February 26, 2024 12:52 30s
Modified InProcessChecker to return EmptyWitness, EmptyCex Check formatting #647: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 1m 21s zeta-merge
zeta-merge
February 26, 2024 12:52 1m 21s
Modified InProcessChecker to return EmptyWitness, EmptyCex Sonar analysis #645: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 5m 7s zeta-merge
zeta-merge
February 26, 2024 12:52 5m 7s
Modified InProcessChecker to return EmptyWitness, EmptyCex Windows build and test #647: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 13m 54s zeta-merge
zeta-merge
February 26, 2024 12:52 13m 54s
Modified InProcessChecker to return EmptyWitness, EmptyCex Linux build-test-deploy #657: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 21m 11s zeta-merge
zeta-merge
February 26, 2024 12:52 21m 11s
Modified InProcessChecker to return EmptyWitness, EmptyCex macOS build and test #647: Commit 82bf1b3 pushed by mondokm
February 26, 2024 12:52 21m 17s zeta-merge
zeta-merge
February 26, 2024 12:52 21m 17s
commented out some of promela grammar Sonar analysis #644: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 4m 0s trace-generation
trace-generation
February 26, 2024 09:48 4m 0s
commented out some of promela grammar macOS build and test #646: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 2m 56s trace-generation
trace-generation
February 26, 2024 09:48 2m 56s
commented out some of promela grammar Linux build-test-deploy #656: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 4m 29s trace-generation
trace-generation
February 26, 2024 09:48 4m 29s
commented out some of promela grammar Windows build and test #646: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 5m 21s trace-generation
trace-generation
February 26, 2024 09:48 5m 21s
commented out some of promela grammar Check formatting #646: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 1m 26s trace-generation
trace-generation
February 26, 2024 09:48 1m 26s
commented out some of promela grammar Check copyright #702: Commit 8b525cf pushed by AdamZsofi
February 26, 2024 09:48 26s trace-generation
trace-generation
February 26, 2024 09:48 26s
adding grammar and model classes to promela frontend Check copyright #701: Commit b6465e9 pushed by AdamZsofi
February 23, 2024 15:57 27s trace-generation
trace-generation
February 23, 2024 15:57 27s