Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,116 workflow run results
7,116 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

This PR adds support for CHC solving via dedicated CHC solvers (including Z3) macOS build and test #1119: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:54 3m 21s chc-out
chc-out
July 8, 2024 20:54 3m 21s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Windows build and test #1119: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:54 3m 22s chc-out
chc-out
July 8, 2024 20:54 3m 22s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Linux build-test-deploy #1139: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:54 3m 27s chc-out
chc-out
July 8, 2024 20:54 3m 27s
Version bump Check copyright #1174: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 28s chc-out
chc-out
July 8, 2024 20:54 28s
Version bump Check formatting #1118: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 1m 17s chc-out
chc-out
July 8, 2024 20:54 1m 17s
Version bump Windows build and test #1118: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 3m 20s chc-out
chc-out
July 8, 2024 20:54 3m 20s
Version bump Sonar analysis #1147: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 3m 17s chc-out
chc-out
July 8, 2024 20:54 3m 17s
Version bump macOS build and test #1118: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 3m 23s chc-out
chc-out
July 8, 2024 20:54 3m 23s
Version bump Linux build-test-deploy #1138: Commit 5e6c0df pushed by thetabotmaintainer bot
July 8, 2024 20:54 3m 25s chc-out
chc-out
July 8, 2024 20:54 3m 25s
Version Bump Version Bump #10: Manually run by leventeBajczi
July 8, 2024 20:52 1m 58s chc-out
chc-out
July 8, 2024 20:52 1m 58s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Check formatting #1117: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 1m 16s chc-out
chc-out
July 8, 2024 20:52 1m 16s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Check version #564: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 2m 17s chc-out
chc-out
July 8, 2024 20:52 2m 17s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) macOS build and test #1117: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 2m 11s chc-out
chc-out
July 8, 2024 20:52 2m 11s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Linux build-test-deploy #1137: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 2m 13s chc-out
chc-out
July 8, 2024 20:52 2m 13s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Windows build and test #1117: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 2m 10s chc-out
chc-out
July 8, 2024 20:52 2m 10s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Sonar analysis #1146: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 30s
July 8, 2024 20:52 30s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Check copyright #1173: Pull request #275 synchronize by thetabotmaintainer bot
July 8, 2024 20:52 28s chc-out
chc-out
July 8, 2024 20:52 28s
Reformatted code macOS build and test #1116: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 2m 8s chc-out
chc-out
July 8, 2024 20:52 2m 8s
Reformatted code Windows build and test #1116: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 2m 8s chc-out
chc-out
July 8, 2024 20:52 2m 8s
Reformatted code Check formatting #1116: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 1m 20s chc-out
chc-out
July 8, 2024 20:52 1m 20s
Reformatted code Linux build-test-deploy #1136: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 2m 16s chc-out
chc-out
July 8, 2024 20:52 2m 16s
Reformatted code Sonar analysis #1145: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 2m 11s chc-out
chc-out
July 8, 2024 20:52 2m 11s
Reformatted code Check copyright #1172: Commit 601d688 pushed by thetabotmaintainer bot
July 8, 2024 20:52 30s chc-out
chc-out
July 8, 2024 20:52 30s
Reformat code Reformat code #37: Manually run by leventeBajczi
July 8, 2024 20:51 1m 27s chc-out
chc-out
July 8, 2024 20:51 1m 27s
This PR adds support for CHC solving via dedicated CHC solvers (including Z3) Check copyright #1171: Pull request #275 synchronize by leventeBajczi
July 8, 2024 20:51 33s chc-out
chc-out
July 8, 2024 20:51 33s