Skip to content

Actions: ftsrg/theta

Actions

Windows build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
win-build-test.yml
1,591 workflow runs
1,591 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment out test takng too long Windows build and test #1675: Commit dd8bdea pushed by leventeBajczi
November 11, 2024 13:05 9m 52s emergent-2025
emergent-2025
November 11, 2024 13:05 9m 52s
added trace concretizations to xcfa tracegen Windows build and test #1674: Commit 8f7a3b9 pushed by AdamZsofi
November 11, 2024 13:05 15m 59s trace-generation
trace-generation
November 11, 2024 13:05 15m 59s
EmergenTheta Update Windows build and test #1673: Pull request #314 synchronize by leventeBajczi
November 11, 2024 12:18 15m 57s emergent-2025
emergent-2025
November 11, 2024 12:18 15m 57s
Merge branch 'master' into emergent-2025 Windows build and test #1672: Commit 161935b pushed by leventeBajczi
November 11, 2024 12:18 16m 13s emergent-2025
emergent-2025
November 11, 2024 12:18 16m 13s
removed erroneous test Windows build and test #1671: Commit 9518942 pushed by leventeBajczi
November 11, 2024 11:39 16m 36s emergent-2025
emergent-2025
November 11, 2024 11:39 16m 36s
Reformat and MDD notsolvable Windows build and test #1670: Commit eb64b77 pushed by leventeBajczi
November 11, 2024 11:32 7m 38s emergent-2025
emergent-2025
November 11, 2024 11:32 7m 38s
Added support for _Atomic variable Windows build and test #1669: Pull request #318 synchronize by leventeBajczi
November 11, 2024 10:15 16m 17s atomic
atomic
November 11, 2024 10:15 16m 17s
Instead of ATOMIC_BEGIN,_END, we use atomic flags for variables Windows build and test #1668: Commit d85d701 pushed by leventeBajczi
November 11, 2024 10:15 15m 42s atomic
atomic
November 11, 2024 10:15 15m 42s
Added support for _Atomic variable Windows build and test #1667: Pull request #318 synchronize by leventeBajczi
November 10, 2024 20:49 15m 46s atomic
atomic
November 10, 2024 20:49 15m 46s
Version bump Windows build and test #1666: Commit 9af341c pushed by leventeBajczi
November 10, 2024 20:49 15m 56s atomic
atomic
November 10, 2024 20:49 15m 56s
Added support for _Atomic variable Windows build and test #1665: Pull request #318 opened by leventeBajczi
November 10, 2024 20:48 1m 15s atomic
atomic
November 10, 2024 20:48 1m 15s
Added support for _Atomic variable Windows build and test #1664: Commit 79a30a2 pushed by leventeBajczi
November 10, 2024 20:48 1m 55s atomic
atomic
November 10, 2024 20:48 1m 55s
Added specification transformation (#317) Windows build and test #1663: Commit 67ad033 pushed by leventeBajczi
November 10, 2024 20:47 19m 39s master
master
November 10, 2024 20:47 19m 39s
Added specification transformation Windows build and test #1662: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:14 15m 33s add-spec-transformation
add-spec-transformation
November 10, 2024 19:14 15m 33s
Syntax fix Windows build and test #1661: Commit 425511a pushed by leventeBajczi
November 10, 2024 19:14 15m 26s add-spec-transformation
add-spec-transformation
November 10, 2024 19:14 15m 26s
Added specification transformation Windows build and test #1660: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:13 1m 15s add-spec-transformation
add-spec-transformation
November 10, 2024 19:13 1m 15s
Syntax fix Windows build and test #1659: Commit d9bc823 pushed by leventeBajczi
November 10, 2024 19:13 1m 16s add-spec-transformation
add-spec-transformation
November 10, 2024 19:13 1m 16s
Added specification transformation Windows build and test #1658: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:10 2m 54s add-spec-transformation
add-spec-transformation
November 10, 2024 19:10 2m 54s
Added env step Windows build and test #1657: Commit 1a530bd pushed by leventeBajczi
November 10, 2024 19:10 2m 53s add-spec-transformation
add-spec-transformation
November 10, 2024 19:10 2m 53s
Added specification transformation Windows build and test #1656: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:06 4m 9s add-spec-transformation
add-spec-transformation
November 10, 2024 19:06 4m 9s
Syntax fix Windows build and test #1655: Commit 4caa36b pushed by leventeBajczi
November 10, 2024 19:06 4m 4s add-spec-transformation
add-spec-transformation
November 10, 2024 19:06 4m 4s
Added specification transformation Windows build and test #1654: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:04 2m 22s add-spec-transformation
add-spec-transformation
November 10, 2024 19:04 2m 22s
Syntax fix Windows build and test #1653: Commit 2afac47 pushed by leventeBajczi
November 10, 2024 19:04 2m 16s add-spec-transformation
add-spec-transformation
November 10, 2024 19:04 2m 16s
Added specification transformation Windows build and test #1652: Pull request #317 synchronize by leventeBajczi
November 10, 2024 19:03 1m 20s add-spec-transformation
add-spec-transformation
November 10, 2024 19:03 1m 20s
Added logging Windows build and test #1651: Commit b3d0145 pushed by leventeBajczi
November 10, 2024 19:03 1m 14s add-spec-transformation
add-spec-transformation
November 10, 2024 19:03 1m 14s