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

Added dep to build macOS build and test #670: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 4m 24s z3-update
z3-update
March 10, 2024 15:20 4m 24s
Added dep to build Windows build and test #670: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 5m 57s z3-update
z3-update
March 10, 2024 15:20 5m 57s
Added dep to build Sonar analysis #670: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 5m 9s z3-update
z3-update
March 10, 2024 15:20 5m 9s
Z3 update macOS build and test #669: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 4m 12s z3-update
z3-update
March 10, 2024 15:16 4m 12s
Z3 update Linux build-test-deploy #679: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 4m 13s z3-update
z3-update
March 10, 2024 15:16 4m 13s
Z3 update Windows build and test #669: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 4m 16s z3-update
z3-update
March 10, 2024 15:16 4m 16s
Z3 update Check copyright #725: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 26s z3-update
z3-update
March 10, 2024 15:16 26s
Z3 update Sonar analysis #669: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 30s
March 10, 2024 15:16 30s
Z3 update Check formatting #669: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 1m 27s z3-update
z3-update
March 10, 2024 15:16 1m 27s
Z3 update Check version #331: Pull request #254 opened by leventeBajczi
March 10, 2024 15:16 2m 21s z3-update
z3-update
March 10, 2024 15:16 2m 21s
Added legacy solver Check copyright #724: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 26s z3-update
z3-update
March 10, 2024 15:12 26s
Added legacy solver Check formatting #668: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 1m 29s z3-update
z3-update
March 10, 2024 15:12 1m 29s
Added legacy solver Linux build-test-deploy #678: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 4m 37s z3-update
z3-update
March 10, 2024 15:12 4m 37s
Added legacy solver macOS build and test #668: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 4m 14s z3-update
z3-update
March 10, 2024 15:12 4m 14s
Added legacy solver Sonar analysis #668: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 4m 56s z3-update
z3-update
March 10, 2024 15:12 4m 56s
Added legacy solver Windows build and test #668: Commit df66ff6 pushed by leventeBajczi
March 10, 2024 15:12 5m 28s z3-update
z3-update
March 10, 2024 15:12 5m 28s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #667: Pull request #251 synchronize by RipplB
March 7, 2024 13:09 8m 57s
March 7, 2024 13:09 8m 57s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge macOS build and test #666: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 20m 0s zeta-merge
zeta-merge
March 6, 2024 12:54 20m 0s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge Linux build-test-deploy #676: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 43m 1s zeta-merge
zeta-merge
March 6, 2024 12:54 43m 1s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge Sonar analysis #666: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 34m 20s zeta-merge
zeta-merge
March 6, 2024 12:54 34m 20s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge Check copyright #722: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 42s zeta-merge
zeta-merge
March 6, 2024 12:54 42s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge Check formatting #666: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 1m 32s zeta-merge
zeta-merge
March 6, 2024 12:54 1m 32s
Merge remote-tracking branch 'origin/zeta-merge' into zeta-merge Windows build and test #666: Commit c748cb7 pushed by mondokm
March 6, 2024 12:54 14m 31s zeta-merge
zeta-merge
March 6, 2024 12:54 14m 31s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #665: Pull request #251 synchronize by RipplB
March 5, 2024 07:35 12m 17s RipplB:multi_product
RipplB:multi_product
March 5, 2024 07:35 12m 17s
Added multi formalism to create product of arbitrary number of formal… Check version #329: Pull request #251 synchronize by RipplB
March 5, 2024 07:35 2m 15s RipplB:multi_product
RipplB:multi_product
March 5, 2024 07:35 2m 15s