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

Add EnumType support to JavaSMT macOS build and test #130: Commit b8c2006 pushed by RipplB
June 20, 2024 15:55 17m 28s enumtype_smtlib
enumtype_smtlib
June 20, 2024 15:55 17m 28s
Add multi analysis test macOS build and test #129: Commit 5a5efbd pushed by RipplB
June 1, 2024 23:06 15m 47s multi_product
multi_product
June 1, 2024 23:06 15m 47s
Add multi analysis test macOS build and test #128: Commit a762abf pushed by RipplB
June 1, 2024 22:37 14m 6s multi_product
multi_product
June 1, 2024 22:37 14m 6s
Added unittest to new xsts functionalities macOS build and test #127: Commit e46e855 pushed by RipplB
June 1, 2024 19:46 15m 53s multi_product
multi_product
June 1, 2024 19:46 15m 53s
Added unittest to new cfa functionalities macOS build and test #126: Commit 493b740 pushed by RipplB
June 1, 2024 19:31 14m 37s multi_product
multi_product
June 1, 2024 19:31 14m 37s
Add var changer unit tests to formalisms macOS build and test #125: Commit e001fbb pushed by RipplB
June 1, 2024 17:58 18m 6s multi_product
multi_product
June 1, 2024 17:58 18m 6s
Move multi tests to their own module macOS build and test #124: Commit f8c38f4 pushed by RipplB
May 28, 2024 08:16 16m 29s multi_product
multi_product
May 28, 2024 08:16 16m 29s
Move multi tests to their own module macOS build and test #123: Commit a8bae44 pushed by RipplB
May 28, 2024 07:56 15m 24s multi_product
multi_product
May 28, 2024 07:56 15m 24s
Separate MultiPartialOrd, MultiInitFunc, MultiTransFunc macOS build and test #122: Commit cdacaa6 pushed by RipplB
May 27, 2024 15:48 16m 48s multi_product
multi_product
May 27, 2024 15:48 16m 48s
Separate MultiPartialOrd and MultiInitFunc macOS build and test #121: Commit 43b326e pushed by RipplB
May 23, 2024 13:39 16m 11s multi_product
multi_product
May 23, 2024 13:39 16m 11s
Separate MultiTransFunc macOS build and test #120: Commit e9d763c pushed by RipplB
May 23, 2024 07:42 1m 49s multi_product
multi_product
May 23, 2024 07:42 1m 49s
Fixed serious formatting issue macOS build and test #119: Commit 75c1092 pushed by leventeBajczi
May 22, 2024 14:28 16m 40s multi_product
multi_product
May 22, 2024 14:28 16m 40s
Formatting macOS build and test #118: Commit ffbf3e6 pushed by RipplB
May 22, 2024 14:15 13m 12s multi_product
multi_product
May 22, 2024 14:15 13m 12s
Formatting macOS build and test #117: Commit 633b38d pushed by RipplB
May 22, 2024 14:06 9m 9s multi_product
multi_product
May 22, 2024 14:06 9m 9s
Mark unused class correctly macOS build and test #116: Commit ed176c3 pushed by RipplB
May 22, 2024 13:34 21m 18s multi_product
multi_product
May 22, 2024 13:34 21m 18s
Code quality improvements macOS build and test #115: Commit 87b7502 pushed by RipplB
May 22, 2024 11:40 16m 4s multi_product
multi_product
May 22, 2024 11:40 16m 4s
Formatting macOS build and test #114: Commit 9882ee3 pushed by RipplB
May 20, 2024 21:30 17m 57s multi_product
multi_product
May 20, 2024 21:30 17m 57s
Clear air around MultiBuilderResult macOS build and test #113: Commit 5be9f68 pushed by RipplB
May 20, 2024 21:24 5m 51s multi_product
multi_product
May 20, 2024 21:24 5m 51s
Make hashcode consider sourceMattersInEquality flag macOS build and test #112: Commit 66b4d5a pushed by RipplB
May 19, 2024 21:05 16m 34s multi_product
multi_product
May 19, 2024 21:05 16m 34s
formatting macOS build and test #111: Commit 67adb9c pushed by RipplB
April 30, 2024 19:17 19m 22s multi_product
multi_product
April 30, 2024 19:17 19m 22s
apply copyright header macOS build and test #110: Commit 819bc48 pushed by RipplB
April 30, 2024 19:12 5m 27s multi_product
multi_product
April 30, 2024 19:12 5m 27s
version bump macOS build and test #109: Commit 5c8d681 pushed by RipplB
April 30, 2024 18:52 14m 19s multi_product
multi_product
April 30, 2024 18:52 14m 19s
add test of product of same xsts twice macOS build and test #108: Commit 5e21919 pushed by RipplB
April 30, 2024 18:40 12m 27s multi_product
multi_product
April 30, 2024 18:40 12m 27s
Merge origin/main macOS build and test #107: Commit b133f60 pushed by RipplB
April 29, 2024 15:56 23m 45s multi_product
multi_product
April 29, 2024 15:56 23m 45s
Update README.md macOS build and test #106: Commit fd60827 pushed by RipplB
April 29, 2024 15:46 9m 29s master
master
April 29, 2024 15:46 9m 29s