Skip to content

Actions: ftsrg/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
1,371 workflow runs
1,371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skipping interpolation tests on mac macOS build and test #686: Commit 3fae8b5 pushed by leventeBajczi
March 11, 2024 14:40 2m 20s z3-update
z3-update
March 11, 2024 14:40 2m 20s
Z3 update macOS build and test #685: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:25 15m 12s z3-update
z3-update
March 11, 2024 14:25 15m 12s
Fixed versioning of legacy solver macOS build and test #684: Commit 87488f7 pushed by leventeBajczi
March 11, 2024 14:25 15m 11s z3-update
z3-update
March 11, 2024 14:25 15m 11s
Z3 update macOS build and test #683: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:13 12m 34s z3-update
z3-update
March 11, 2024 14:13 12m 34s
Disabled macos-11 test macOS build and test #682: Commit 2ff9e35 pushed by leventeBajczi
March 11, 2024 14:13 12m 37s z3-update
z3-update
March 11, 2024 14:13 12m 37s
Z3 update macOS build and test #681: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:05 8m 37s z3-update
z3-update
March 11, 2024 14:05 8m 37s
Replaced z3 library with old version macOS build and test #680: Commit 9c957e2 pushed by leventeBajczi
March 11, 2024 14:05 8m 38s z3-update
z3-update
March 11, 2024 14:05 8m 38s
Z3 update macOS build and test #679: Pull request #254 synchronize by leventeBajczi
March 11, 2024 12:13 1h 51m 45s z3-update
z3-update
March 11, 2024 12:13 1h 51m 45s
Disabled tests on Mac macOS build and test #678: Commit ec05055 pushed by leventeBajczi
March 11, 2024 12:13 1h 51m 42s z3-update
z3-update
March 11, 2024 12:13 1h 51m 42s
Z3 update macOS build and test #677: Pull request #254 synchronize by leventeBajczi
March 11, 2024 07:49 26m 20s z3-update
z3-update
March 11, 2024 07:49 26m 20s
Updated libraries macOS build and test #676: Commit b51522c pushed by leventeBajczi
March 11, 2024 07:49 4h 18m 42s z3-update
z3-update
March 11, 2024 07:49 4h 18m 42s
Z3 update macOS build and test #675: Pull request #254 synchronize by leventeBajczi
March 11, 2024 00:02 7h 11m 7s z3-update
z3-update
March 11, 2024 00:02 7h 11m 7s
Updated to use legacy version macOS build and test #674: Commit c82b7c0 pushed by leventeBajczi
March 11, 2024 00:02 6h 0m 31s z3-update
z3-update
March 11, 2024 00:02 6h 0m 31s
Z3 update macOS build and test #673: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 16m 17s z3-update
z3-update
March 10, 2024 15:44 16m 17s
Renamed package macOS build and test #672: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 12m 16s z3-update
z3-update
March 10, 2024 15:44 12m 16s
Z3 update macOS build and test #671: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 10m 8s z3-update
z3-update
March 10, 2024 15:21 10m 8s
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
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
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
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
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… macOS build and test #662: Pull request #251 synchronize by RipplB
March 4, 2024 21:37 18m 20s RipplB:multi_product
RipplB:multi_product
March 4, 2024 21:37 18m 20s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #661: Pull request #251 synchronize by RipplB
March 4, 2024 14:08 14m 18s RipplB:multi_product
RipplB:multi_product
March 4, 2024 14:08 14m 18s
Merge branch 'master' into zeta-merge macOS build and test #660: Commit f643e01 pushed by marci543
March 1, 2024 09:31 18m 12s zeta-merge
zeta-merge
March 1, 2024 09:31 18m 12s
Add notice to GH workflow macOS build and test #659: Commit a9d2d7e pushed by marci543
February 29, 2024 23:07 11m 23s master
master
February 29, 2024 23:07 11m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-02-29 or the other filters available.