Skip to content

Actions: ftsrg/theta

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,369 workflow runs
1,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed configs with help, etc
macOS build and test #556: Commit 43d3ac9 pushed by leventeBajczi
January 10, 2024 21:53 16m 20s xcfa-refactor
January 10, 2024 21:53 16m 20s
XCFA-refactor 2023 [draft]
macOS build and test #555: Pull request #198 synchronize by leventeBajczi
January 7, 2024 20:18 27m 20s xcfa-refactor
January 7, 2024 20:18 27m 20s
Rename Theta to theta in downloaded zip
macOS build and test #554: Commit b96a7cf pushed by leventeBajczi
January 7, 2024 20:17 14m 55s xcfa-refactor
January 7, 2024 20:17 14m 55s
XCFA-refactor 2023 [draft]
macOS build and test #553: Pull request #198 synchronize by leventeBajczi
January 7, 2024 20:05 12m 40s xcfa-refactor
January 7, 2024 20:05 12m 40s
Updated version in action
macOS build and test #552: Commit f090743 pushed by leventeBajczi
January 7, 2024 20:05 12m 40s xcfa-refactor
January 7, 2024 20:05 12m 40s
XCFA-refactor 2023 [draft]
macOS build and test #551: Pull request #198 synchronize by leventeBajczi
January 7, 2024 19:43 21m 41s xcfa-refactor
January 7, 2024 19:43 21m 41s
More meaningful error message for smtlib error
macOS build and test #550: Commit 4dcde47 pushed by leventeBajczi
January 7, 2024 19:43 14m 30s xcfa-refactor
January 7, 2024 19:43 14m 30s
XCFA-refactor 2023 [draft]
macOS build and test #549: Pull request #198 synchronize by leventeBajczi
January 7, 2024 17:45 26m 0s xcfa-refactor
January 7, 2024 17:45 26m 0s
Downloaded theta.xml
macOS build and test #548: Commit be2e4e8 pushed by leventeBajczi
January 7, 2024 17:45 15m 41s xcfa-refactor
January 7, 2024 17:45 15m 41s
XCFA-refactor 2023 [draft]
macOS build and test #547: Pull request #198 synchronize by leventeBajczi
January 7, 2024 17:23 22m 21s xcfa-refactor
January 7, 2024 17:23 22m 21s
Fixed backwards compatibility with toolinfo
macOS build and test #546: Commit 2964798 pushed by leventeBajczi
January 7, 2024 17:23 16m 20s xcfa-refactor
January 7, 2024 17:23 16m 20s
XCFA-refactor 2023 [draft]
macOS build and test #545: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 18m 44s xcfa-refactor
January 7, 2024 17:04 18m 44s
Reapplied copyright
macOS build and test #544: Commit 3388c76 pushed by thetabotmaintainer bot
January 7, 2024 17:04 13m 21s xcfa-refactor
January 7, 2024 17:04 13m 21s
XCFA-refactor 2023 [draft]
macOS build and test #543: Pull request #198 synchronize by thetabotmaintainer bot
January 7, 2024 17:04 51s xcfa-refactor
January 7, 2024 17:04 51s
Reformatted code
macOS build and test #542: Commit 6079958 pushed by thetabotmaintainer bot
January 7, 2024 17:04 53s xcfa-refactor
January 7, 2024 17:04 53s
XCFA-refactor 2023 [draft]
macOS build and test #541: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:59 4m 28s xcfa-refactor
January 7, 2024 16:59 4m 28s
Added entries to gitignore
macOS build and test #540: Commit 139edf5 pushed by leventeBajczi
January 7, 2024 16:59 4m 32s xcfa-refactor
January 7, 2024 16:59 4m 32s
XCFA-refactor 2023 [draft]
macOS build and test #539: Pull request #198 synchronize by leventeBajczi
January 7, 2024 16:58 1m 19s xcfa-refactor
January 7, 2024 16:58 1m 19s
Fixed some tests
macOS build and test #538: Commit c5677d6 pushed by leventeBajczi
January 7, 2024 16:58 1m 19s xcfa-refactor
January 7, 2024 16:58 1m 19s
ProTip! You can narrow down the results and go further in time using created:<2024-01-07 or the other filters available.