Skip to content

Actions: ftsrg/theta

Windows build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,591 workflow runs
1,591 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added specification transformation
Windows build and test #1625: Pull request #317 synchronize by leventeBajczi
November 9, 2024 19:30 15m 10s add-spec-transformation
November 9, 2024 19:30 15m 10s
Fixed SIGPIPE
Windows build and test #1624: Commit d9cd03a pushed by leventeBajczi
November 9, 2024 19:30 15m 54s add-spec-transformation
November 9, 2024 19:30 15m 54s
Added specification transformation
Windows build and test #1623: Pull request #317 synchronize by leventeBajczi
November 9, 2024 19:13 16m 44s add-spec-transformation
November 9, 2024 19:13 16m 44s
added yes yes
Windows build and test #1622: Commit 482945a pushed by leventeBajczi
November 9, 2024 19:13 15m 56s add-spec-transformation
November 9, 2024 19:13 15m 56s
Added specification transformation
Windows build and test #1621: Pull request #317 synchronize by leventeBajczi
November 9, 2024 18:34 15m 22s add-spec-transformation
November 9, 2024 18:34 15m 22s
installing fuse2 for nuitka
Windows build and test #1620: Commit 7b49199 pushed by leventeBajczi
November 9, 2024 18:34 15m 47s add-spec-transformation
November 9, 2024 18:34 15m 47s
Added specification transformation
Windows build and test #1619: Pull request #317 synchronize by leventeBajczi
November 9, 2024 10:43 15m 25s add-spec-transformation
November 9, 2024 10:43 15m 25s
nuitka -> nuitka3
Windows build and test #1618: Commit f3ae1c3 pushed by leventeBajczi
November 9, 2024 10:43 14m 59s add-spec-transformation
November 9, 2024 10:43 14m 59s
Added specification transformation
Windows build and test #1617: Pull request #317 synchronize by leventeBajczi
November 9, 2024 10:12 15m 43s add-spec-transformation
November 9, 2024 10:12 15m 43s
fix path
Windows build and test #1616: Commit 2897b8e pushed by leventeBajczi
November 9, 2024 10:12 15m 3s add-spec-transformation
November 9, 2024 10:12 15m 3s
Added specification transformation
Windows build and test #1615: Pull request #317 synchronize by leventeBajczi
November 9, 2024 09:53 15m 39s add-spec-transformation
November 9, 2024 09:53 15m 39s
java 17 for cpachecker
Windows build and test #1614: Commit 4c4902a pushed by leventeBajczi
November 9, 2024 09:53 15m 45s add-spec-transformation
November 9, 2024 09:53 15m 45s
Added specification transformation
Windows build and test #1613: Pull request #317 synchronize by leventeBajczi
November 9, 2024 00:46 15m 31s add-spec-transformation
November 9, 2024 00:46 15m 31s
clone
Windows build and test #1612: Commit cc80afa pushed by leventeBajczi
November 9, 2024 00:46 16m 2s add-spec-transformation
November 9, 2024 00:46 16m 2s
Added specification transformation
Windows build and test #1611: Pull request #317 synchronize by leventeBajczi
November 9, 2024 00:36 9m 57s add-spec-transformation
November 9, 2024 00:36 9m 57s
Fixed cpachecker
Windows build and test #1610: Commit 5188d42 pushed by leventeBajczi
November 9, 2024 00:36 9m 43s add-spec-transformation
November 9, 2024 00:36 9m 43s
Added specification transformation
Windows build and test #1609: Pull request #317 synchronize by leventeBajczi
November 9, 2024 00:34 2m 33s add-spec-transformation
November 9, 2024 00:34 2m 33s
Fixed shell
Windows build and test #1608: Commit 3eeeb50 pushed by leventeBajczi
November 9, 2024 00:34 2m 32s add-spec-transformation
November 9, 2024 00:34 2m 32s
Added specification transformation
Windows build and test #1607: Pull request #317 synchronize by leventeBajczi
November 9, 2024 00:33 1m 25s add-spec-transformation
November 9, 2024 00:33 1m 25s
Fixed patch
Windows build and test #1606: Commit b0a8927 pushed by leventeBajczi
November 9, 2024 00:33 1m 28s add-spec-transformation
November 9, 2024 00:33 1m 28s
Added specification transformation
Windows build and test #1605: Pull request #317 synchronize by leventeBajczi
November 9, 2024 00:29 4m 17s add-spec-transformation
November 9, 2024 00:29 4m 17s
added binary building
Windows build and test #1604: Commit 0dd00be pushed by leventeBajczi
November 9, 2024 00:29 4m 16s add-spec-transformation
November 9, 2024 00:29 4m 16s
Added specification transformation
Windows build and test #1603: Pull request #317 synchronize by leventeBajczi
November 8, 2024 22:39 17m 32s add-spec-transformation
November 8, 2024 22:39 17m 32s
Handling multiple task sets in same rundef
Windows build and test #1602: Commit 054d2c6 pushed by leventeBajczi
November 8, 2024 22:39 14m 57s add-spec-transformation
November 8, 2024 22:39 14m 57s
Added specification transformation
Windows build and test #1601: Pull request #317 synchronize by leventeBajczi
November 8, 2024 19:24 15m 50s add-spec-transformation
November 8, 2024 19:24 15m 50s