Skip to content

Actions: RipplB/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial multi test macOS build and test #80: Commit 70b0297 pushed by RipplB
March 4, 2024 14:08 11m 57s multi_product
multi_product
March 4, 2024 14:08 11m 57s
Aid smtlib testing macOS build and test #79: Commit bb4254c pushed by RipplB
March 3, 2024 20:18 16m 50s enumtype_smtlib
enumtype_smtlib
March 3, 2024 20:18 16m 50s
Update sonar.yml macOS build and test #78: Commit 006b6fc pushed by RipplB
February 27, 2024 08:40 13m 41s master
master
February 27, 2024 08:40 13m 41s
Merge branch 'master' into multi_product macOS build and test #77: Commit ad55575 pushed by leventeBajczi
February 26, 2024 15:47 20m 52s multi_product
multi_product
February 26, 2024 15:47 20m 52s
Merge branch 'master' into multi_product macOS build and test #76: Commit 5da15ee pushed by leventeBajczi
February 26, 2024 15:46 1m 10s multi_product
multi_product
February 26, 2024 15:46 1m 10s
Merge branch 'master' into multi_product macOS build and test #75: Commit f0627ae pushed by leventeBajczi
February 26, 2024 15:45 1m 12s multi_product
multi_product
February 26, 2024 15:45 1m 12s
Use solvermanager to avoid dangling solver processes in long tests macOS build and test #74: Commit 2af9a58 pushed by RipplB
February 26, 2024 12:26 13m 13s enumtype_smtlib
enumtype_smtlib
February 26, 2024 12:26 13m 13s
Finish datatype interpolation macOS build and test #73: Commit 2166105 pushed by RipplB
February 23, 2024 15:26 12m 3s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:26 12m 3s
Fixed badge creation for windows macOS build and test #72: Commit 3171daf pushed by RipplB
February 23, 2024 15:26 51s master
master
February 23, 2024 15:26 51s
Finish datatype interpolation macOS build and test #71: Commit f8e66ae pushed by RipplB
February 23, 2024 15:25 41s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:25 41s
Finish datatype interpolation macOS build and test #70: Commit 8aa4690 pushed by RipplB
February 23, 2024 15:01 6m 52s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:01 6m 52s
Merge branch 'master' into multi_product macOS build and test #69: Commit f0f0316 pushed by leventeBajczi
February 23, 2024 13:12 12m 57s multi_product
multi_product
February 23, 2024 13:12 12m 57s
Merge branch 'master' into multi_product macOS build and test #68: Commit 181e88c pushed by leventeBajczi
February 23, 2024 13:07 5m 15s multi_product
multi_product
February 23, 2024 13:07 5m 15s
Merge branch 'master' into multi_product macOS build and test #67: Commit 5ee7afd pushed by leventeBajczi
February 23, 2024 13:05 2m 43s multi_product
multi_product
February 23, 2024 13:05 2m 43s
Merge branch 'master' into multi_product macOS build and test #66: Commit 78be96d pushed by leventeBajczi
February 23, 2024 12:56 9m 9s multi_product
multi_product
February 23, 2024 12:56 9m 9s
Merge branch 'master' into multi_product macOS build and test #65: Commit 2d8119b pushed by leventeBajczi
February 23, 2024 12:16 14m 27s multi_product
multi_product
February 23, 2024 12:16 14m 27s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #64: Commit af2672b pushed by RipplB
February 22, 2024 21:44 13m 56s multi_product
multi_product
February 22, 2024 21:44 13m 56s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #63: Commit 7a4ad5f pushed by RipplB
February 22, 2024 21:23 29m 1s multi_product
multi_product
February 22, 2024 21:23 29m 1s
Refactor into StmtAction macOS build and test #62: Commit 4ff2682 pushed by RipplB
February 22, 2024 21:05 8m 33s tdk
tdk
February 22, 2024 21:05 8m 33s
Merge pull request #250 from ftsrg/fix-docs macOS build and test #61: Commit 46907d2 pushed by RipplB
February 18, 2024 20:57 14m 34s master
master
February 18, 2024 20:57 14m 34s
Progress macOS build and test #60: Commit 4d094c6 pushed by RipplB
January 16, 2024 14:11 8m 44s enumtype_smtlib
enumtype_smtlib
January 16, 2024 14:11 8m 44s
Progress in transformations macOS build and test #59: Commit 32a5cd4 pushed by RipplB
January 15, 2024 22:42 7m 23s enumtype_smtlib
enumtype_smtlib
January 15, 2024 22:42 7m 23s
Aid distr benchmark macOS build and test #58: Commit fc844dd pushed by RipplB
October 29, 2023 10:11 7m 12s tdk
tdk
October 29, 2023 10:11 7m 12s
Try fix oob interpolant foldin macOS build and test #57: Commit e8a6fde pushed by RipplB
October 27, 2023 14:57 20m 33s tdk
tdk
October 27, 2023 14:57 20m 33s
Revert pathutils to old macOS build and test #56: Commit 71d2c7b pushed by RipplB
October 27, 2023 14:55 13m 44s tdk
tdk
October 27, 2023 14:55 13m 44s