Skip to content

Actions: ftsrg/theta

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,371 workflow runs
1,371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker update
macOS build and test #711: Pull request #256 synchronize by leventeBajczi
March 12, 2024 12:20 41s docker-update
March 12, 2024 12:20 41s
fix name
macOS build and test #710: Commit ff9f5fd pushed by leventeBajczi
March 12, 2024 12:20 44s docker-update
March 12, 2024 12:20 44s
Docker update
macOS build and test #709: Pull request #256 synchronize by leventeBajczi
March 12, 2024 12:19 1m 43s docker-update
March 12, 2024 12:19 1m 43s
fix yml
macOS build and test #708: Commit f6995fb pushed by leventeBajczi
March 12, 2024 12:19 1m 43s docker-update
March 12, 2024 12:19 1m 43s
Docker update
macOS build and test #707: Pull request #256 synchronize by leventeBajczi
March 12, 2024 12:17 1m 30s docker-update
March 12, 2024 12:17 1m 30s
Added test dockerfile
macOS build and test #706: Commit 1cf2112 pushed by leventeBajczi
March 12, 2024 12:17 1m 31s docker-update
March 12, 2024 12:17 1m 31s
Docker update
macOS build and test #705: Pull request #256 opened by leventeBajczi
March 12, 2024 12:01 16m 36s docker-update
March 12, 2024 12:01 16m 36s
Added docker badges
macOS build and test #704: Commit 9748a0c pushed by leventeBajczi
March 12, 2024 12:01 11m 50s docker-update
March 12, 2024 12:01 11m 50s
Updated actions, version bump
macOS build and test #703: Commit ac7a36f pushed by leventeBajczi
March 12, 2024 10:36 23m 20s master
March 12, 2024 10:36 23m 20s
Updated actions to fix release message, docker push
macOS build and test #702: Pull request #255 opened by leventeBajczi
March 12, 2024 10:36 14m 7s fix-actions
March 12, 2024 10:36 14m 7s
Updated actions, version bump
macOS build and test #701: Commit 1b2fba0 pushed by leventeBajczi
March 12, 2024 10:35 1m 0s fix-actions
March 12, 2024 10:35 1m 0s
Reenabled 2 tests
macOS build and test #700: Commit 385514b pushed by mondokm
March 12, 2024 10:34 1m 50s zeta-merge
March 12, 2024 10:34 1m 50s
Version bump
macOS build and test #699: Commit fb47f0f pushed by leventeBajczi
March 12, 2024 10:33 52s fix-actions
March 12, 2024 10:33 52s
Z3 update (#254)
macOS build and test #698: Commit dc4c523 pushed by leventeBajczi
March 12, 2024 09:38 12m 36s master
March 12, 2024 09:38 12m 36s
Z3 update
macOS build and test #697: Pull request #254 synchronize by leventeBajczi
March 11, 2024 16:27 23m 15s z3-update
March 11, 2024 16:27 23m 15s
Retry pattern on more commands
macOS build and test #696: Commit 08d7b5d pushed by leventeBajczi
March 11, 2024 16:27 16m 23s z3-update
March 11, 2024 16:27 16m 23s
Z3 update
macOS build and test #695: Pull request #254 synchronize by leventeBajczi
March 11, 2024 15:50 27m 51s z3-update
March 11, 2024 15:50 27m 51s
Added retry step, and corrected dependency
macOS build and test #694: Commit 5f3864d pushed by leventeBajczi
March 11, 2024 15:50 17m 50s z3-update
March 11, 2024 15:50 17m 50s
Z3 update
macOS build and test #693: Pull request #254 synchronize by leventeBajczi
March 11, 2024 15:24 25m 29s z3-update
March 11, 2024 15:24 25m 29s
Retrying mac support for itp
macOS build and test #692: Commit cf134e0 pushed by leventeBajczi
March 11, 2024 15:24 14m 59s z3-update
March 11, 2024 15:24 14m 59s
Z3 update
macOS build and test #691: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:53 22m 23s z3-update
March 11, 2024 14:53 22m 23s
Modified dylibs
macOS build and test #690: Commit a9da77d pushed by leventeBajczi
March 11, 2024 14:53 10m 56s z3-update
March 11, 2024 14:53 10m 56s
Z3 update
macOS build and test #689: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:43 10m 9s z3-update
March 11, 2024 14:43 10m 9s
Removed junit engine from deps
macOS build and test #688: Commit c0ad71f pushed by leventeBajczi
March 11, 2024 14:43 10m 11s z3-update
March 11, 2024 14:43 10m 11s
Z3 update
macOS build and test #687: Pull request #254 synchronize by leventeBajczi
March 11, 2024 14:40 3m 8s z3-update
March 11, 2024 14:40 3m 8s
ProTip! You can narrow down the results and go further in time using created:<2024-03-11 or the other filters available.