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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy doc only on master, test always macOS build and test #606: Commit f66b5b4 pushed by leventeBajczi
February 15, 2024 18:04 3m 34s fix-docs
fix-docs
February 15, 2024 18:04 3m 34s
Merge pull request #198 from ftsrg/xcfa-refactor macOS build and test #605: Commit 62cc6ce pushed by leventeBajczi
February 15, 2024 17:57 8m 6s master
master
February 15, 2024 17:57 8m 6s
XCFA-refactor 2023 [draft] macOS build and test #604: Pull request #198 synchronize by leventeBajczi
February 15, 2024 17:26 29m 18s xcfa-refactor
xcfa-refactor
February 15, 2024 17:26 29m 18s
StmtAction -> ExprAction macOS build and test #603: Commit dad9dea pushed by leventeBajczi
February 15, 2024 17:26 15m 2s xcfa-refactor
xcfa-refactor
February 15, 2024 17:26 15m 2s
XCFA-refactor 2023 [draft] macOS build and test #602: Pull request #198 synchronize by leventeBajczi
February 15, 2024 17:13 14m 3s xcfa-refactor
xcfa-refactor
February 15, 2024 17:13 14m 3s
Fixing iter lookup and missing state macOS build and test #601: Commit db73cbb pushed by leventeBajczi
February 15, 2024 17:13 14m 2s xcfa-refactor
xcfa-refactor
February 15, 2024 17:13 14m 2s
XCFA-refactor 2023 [draft] macOS build and test #600: Pull request #198 synchronize by leventeBajczi
February 15, 2024 16:22 6m 25s xcfa-refactor
xcfa-refactor
February 15, 2024 16:22 6m 25s
UNknown<S, A> macOS build and test #599: Commit 017cad8 pushed by leventeBajczi
February 15, 2024 16:22 12m 35s xcfa-refactor
xcfa-refactor
February 15, 2024 16:22 12m 35s
XCFA-refactor 2023 [draft] macOS build and test #598: Pull request #198 synchronize by leventeBajczi
February 15, 2024 16:11 10m 49s xcfa-refactor
xcfa-refactor
February 15, 2024 16:11 10m 49s
Added doc and removed extraneous pushPopHelper macOS build and test #597: Commit cdeaed3 pushed by leventeBajczi
February 15, 2024 16:11 11m 2s xcfa-refactor
xcfa-refactor
February 15, 2024 16:11 11m 2s
XCFA-refactor 2023 [draft] macOS build and test #596: Pull request #198 synchronize by leventeBajczi
February 13, 2024 20:01 26m 28s xcfa-refactor
xcfa-refactor
February 13, 2024 20:01 26m 28s
Fixed k-ind macOS build and test #595: Commit 25d10d5 pushed by leventeBajczi
February 13, 2024 20:01 16m 12s xcfa-refactor
xcfa-refactor
February 13, 2024 20:01 16m 12s
XCFA-refactor 2023 [draft] macOS build and test #594: Pull request #198 synchronize by csanadtelbisz
February 13, 2024 15:10 31m 21s xcfa-refactor
xcfa-refactor
February 13, 2024 15:10 31m 21s
k-induction iteration indexing fixed macOS build and test #593: Commit ee3088a pushed by csanadtelbisz
February 13, 2024 15:10 15m 37s xcfa-refactor
xcfa-refactor
February 13, 2024 15:10 15m 37s
XCFA-refactor 2023 [draft] macOS build and test #592: Pull request #198 synchronize by csanadtelbisz
February 12, 2024 15:47 30m 42s xcfa-refactor
xcfa-refactor
February 12, 2024 15:47 30m 42s
utils - mutex identifier fix macOS build and test #591: Commit 0468880 pushed by csanadtelbisz
February 12, 2024 15:47 17m 8s xcfa-refactor
xcfa-refactor
February 12, 2024 15:47 17m 8s
XCFA-refactor 2023 [draft] macOS build and test #590: Pull request #198 synchronize by leventeBajczi
February 12, 2024 15:10 30m 42s xcfa-refactor
xcfa-refactor
February 12, 2024 15:10 30m 42s
Fixed missing arg macOS build and test #589: Commit 9651f98 pushed by leventeBajczi
February 12, 2024 15:10 14m 6s xcfa-refactor
xcfa-refactor
February 12, 2024 15:10 14m 6s
XCFA-refactor 2023 [draft] macOS build and test #588: Pull request #198 synchronize by leventeBajczi
February 12, 2024 13:23 25m 16s xcfa-refactor
xcfa-refactor
February 12, 2024 13:23 25m 16s
Using Optionals instead of nullables in SafetyResult macOS build and test #587: Commit f3bc669 pushed by leventeBajczi
February 12, 2024 13:23 17m 55s xcfa-refactor
xcfa-refactor
February 12, 2024 13:23 17m 55s
XCFA-refactor 2023 [draft] macOS build and test #586: Pull request #198 synchronize by leventeBajczi
February 12, 2024 12:32 14m 48s xcfa-refactor
xcfa-refactor
February 12, 2024 12:32 14m 48s
Fixed formatting macOS build and test #585: Commit 2b5a80e pushed by leventeBajczi
February 12, 2024 12:32 31m 1s xcfa-refactor
xcfa-refactor
February 12, 2024 12:32 31m 1s
XCFA-refactor 2023 [draft] macOS build and test #584: Pull request #198 synchronize by leventeBajczi
February 12, 2024 12:29 3m 33s xcfa-refactor
xcfa-refactor
February 12, 2024 12:29 3m 33s
Fixed push-pop order macOS build and test #583: Commit 925173a pushed by leventeBajczi
February 12, 2024 12:28 3m 39s xcfa-refactor
xcfa-refactor
February 12, 2024 12:28 3m 39s
merged xcfa-refactor into tracegen macOS build and test #582: Commit 70b4108 pushed by AdamZsofi
February 11, 2024 21:44 3m 44s trace-generation
trace-generation
February 11, 2024 21:44 3m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-02-11 or the other filters available.