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

Added multi formalism to create product of arbitrary number of formal… macOS build and test #631: Pull request #251 synchronize by RipplB
February 22, 2024 21:44 12m 38s RipplB:multi_product
RipplB:multi_product
February 22, 2024 21:44 12m 38s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #630: Pull request #251 opened by RipplB
February 22, 2024 21:24 22m 22s RipplB:multi_product
RipplB:multi_product
February 22, 2024 21:24 22m 22s
Reapplied copyright macOS build and test #629: Commit ad2fabe pushed by thetabotmaintainer bot
February 22, 2024 14:09 26m 44s zeta-merge
zeta-merge
February 22, 2024 14:09 26m 44s
Reformat code macOS build and test #628: Commit e73b6f0 pushed by mondokm
February 22, 2024 13:59 10m 10s zeta-merge
zeta-merge
February 22, 2024 13:59 10m 10s
Reformat code macOS build and test #627: Commit 6a80b3e pushed by mondokm
February 22, 2024 13:56 2m 55s zeta-merge
zeta-merge
February 22, 2024 13:56 2m 55s
Adjusted config processing classes to the new checker interface macOS build and test #626: Commit c085ee3 pushed by mondokm
February 22, 2024 13:41 15m 32s zeta-merge
zeta-merge
February 22, 2024 13:41 15m 32s
Fix arg imports macOS build and test #625: Commit 14586a8 pushed by mondokm
February 22, 2024 13:40 46s zeta-merge
zeta-merge
February 22, 2024 13:40 46s
Fixed strange checkNotNull error macOS build and test #624: Commit 99a7bf9 pushed by mondokm
February 22, 2024 13:12 11m 17s zeta-merge
zeta-merge
February 22, 2024 13:12 11m 17s
Formatting macOS build and test #623: Commit ef104b7 pushed by mondokm
February 22, 2024 12:37 4m 46s zeta-merge
zeta-merge
February 22, 2024 12:37 4m 46s
Add EmptyWitness and EmptyCex macOS build and test #622: Commit ffce746 pushed by mondokm
February 22, 2024 12:18 4m 28s zeta-merge
zeta-merge
February 22, 2024 12:18 4m 28s
Fix problematic merges macOS build and test #621: Commit e506d9f pushed by mondokm
February 22, 2024 12:07 4m 34s zeta-merge
zeta-merge
February 22, 2024 12:07 4m 34s
promela grammar can parse models now macOS build and test #620: Commit cdeecb6 pushed by AdamZsofi
February 19, 2024 19:06 3m 39s trace-generation
trace-generation
February 19, 2024 19:06 3m 39s
added promela frontend project macOS build and test #619: Commit 24720c7 pushed by AdamZsofi
February 18, 2024 20:31 2m 40s trace-generation
trace-generation
February 18, 2024 20:31 2m 40s
Merge pull request #250 from ftsrg/fix-docs macOS build and test #618: Commit 46907d2 pushed by leventeBajczi
February 15, 2024 18:17 26m 17s master
master
February 15, 2024 18:17 26m 17s
Deploy doc only on master, test always macOS build and test #617: Pull request #250 synchronize by thetabotmaintainer bot
February 15, 2024 18:17 14m 4s fix-docs
fix-docs
February 15, 2024 18:17 14m 4s
Version bump macOS build and test #616: Commit ae0daf8 pushed by thetabotmaintainer bot
February 15, 2024 18:17 26s fix-docs
fix-docs
February 15, 2024 18:17 26s
Deploy doc only on master, test always macOS build and test #615: Pull request #250 synchronize by leventeBajczi
February 15, 2024 18:14 3m 23s fix-docs
fix-docs
February 15, 2024 18:14 3m 23s
Updated mkdocs plugins #4 macOS build and test #614: Commit 501d826 pushed by leventeBajczi
February 15, 2024 18:14 3m 21s fix-docs
fix-docs
February 15, 2024 18:14 3m 21s
Deploy doc only on master, test always macOS build and test #613: Pull request #250 synchronize by leventeBajczi
February 15, 2024 18:12 1m 41s fix-docs
fix-docs
February 15, 2024 18:12 1m 41s
Updated mkdocs plugins #3 macOS build and test #612: Commit 273ee02 pushed by leventeBajczi
February 15, 2024 18:12 1m 38s fix-docs
fix-docs
February 15, 2024 18:12 1m 38s
Deploy doc only on master, test always macOS build and test #611: Pull request #250 synchronize by leventeBajczi
February 15, 2024 18:09 2m 47s fix-docs
fix-docs
February 15, 2024 18:09 2m 47s
Updated mkdocs plugins #2 macOS build and test #610: Commit e825343 pushed by leventeBajczi
February 15, 2024 18:09 2m 50s fix-docs
fix-docs
February 15, 2024 18:09 2m 50s
Deploy doc only on master, test always macOS build and test #609: Pull request #250 synchronize by leventeBajczi
February 15, 2024 18:08 2m 12s fix-docs
fix-docs
February 15, 2024 18:08 2m 12s
Updated mkdocs plugins macOS build and test #608: Commit c60e681 pushed by leventeBajczi
February 15, 2024 18:08 2m 9s fix-docs
fix-docs
February 15, 2024 18:08 2m 9s
Deploy doc only on master, test always macOS build and test #607: Pull request #250 opened by leventeBajczi
February 15, 2024 18:05 2m 29s fix-docs
fix-docs
February 15, 2024 18:05 2m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-02-15 or the other filters available.