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,530 workflow runs
1,530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added CexMonitor update macOS build and test #309: Commit 274b07d pushed by leventeBajczi
November 9, 2023 15:49 44m 14s arg-equals-fix
arg-equals-fix
November 9, 2023 15:49 44m 14s
Update existing well-established solvers macOS build and test #308: Pull request #237 opened by as3810t
November 9, 2023 10:36 16m 42s smt-lib-update
smt-lib-update
November 9, 2023 10:36 16m 42s
XCFA-refactor 2023 [draft] macOS build and test #307: Pull request #198 synchronize by csanadtelbisz
November 7, 2023 17:47 39m 13s xcfa-refactor
xcfa-refactor
November 7, 2023 17:47 39m 13s
Merge pull request #235 from csanadtelbisz/xcfa-refactor macOS build and test #306: Commit 6084285 pushed by csanadtelbisz
November 7, 2023 17:47 29m 7s xcfa-refactor
xcfa-refactor
November 7, 2023 17:47 29m 7s
Data race detection fixes macOS build and test #305: Pull request #235 opened by csanadtelbisz
November 7, 2023 17:46 20m 34s csanadtelbisz:xcfa-refactor
csanadtelbisz:xcfa-refactor
November 7, 2023 17:46 20m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.