Skip to content

Actions: RipplB/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial multi test Linux build-test-deploy #80: Commit 70b0297 pushed by RipplB
March 4, 2024 14:08 19m 37s multi_product
multi_product
March 4, 2024 14:08 19m 37s
Aid smtlib testing Linux build-test-deploy #79: Commit bb4254c pushed by RipplB
March 3, 2024 20:18 6h 4m 53s enumtype_smtlib
enumtype_smtlib
March 3, 2024 20:18 6h 4m 53s
Update sonar.yml Linux build-test-deploy #78: Commit 006b6fc pushed by RipplB
February 27, 2024 08:40 20m 4s master
master
February 27, 2024 08:40 20m 4s
Merge branch 'master' into multi_product Linux build-test-deploy #77: Commit ad55575 pushed by leventeBajczi
February 26, 2024 15:47 11m 29s multi_product
multi_product
February 26, 2024 15:47 11m 29s
Merge branch 'master' into multi_product Linux build-test-deploy #76: Commit 5da15ee pushed by leventeBajczi
February 26, 2024 15:46 1m 17s multi_product
multi_product
February 26, 2024 15:46 1m 17s
Merge branch 'master' into multi_product Linux build-test-deploy #75: Commit f0627ae pushed by leventeBajczi
February 26, 2024 15:45 1m 20s multi_product
multi_product
February 26, 2024 15:45 1m 20s
Use solvermanager to avoid dangling solver processes in long tests Linux build-test-deploy #74: Commit 2af9a58 pushed by RipplB
February 26, 2024 12:26 20m 45s enumtype_smtlib
enumtype_smtlib
February 26, 2024 12:26 20m 45s
Finish datatype interpolation Linux build-test-deploy #73: Commit 2166105 pushed by RipplB
February 23, 2024 15:26 20m 35s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:26 20m 35s
Fixed badge creation for windows Linux build-test-deploy #72: Commit 3171daf pushed by RipplB
February 23, 2024 15:26 57s master
master
February 23, 2024 15:26 57s
Finish datatype interpolation Linux build-test-deploy #71: Commit f8e66ae pushed by RipplB
February 23, 2024 15:25 51s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:25 51s
Finish datatype interpolation Linux build-test-deploy #70: Commit 8aa4690 pushed by RipplB
February 23, 2024 15:01 5m 46s enumtype_smtlib
enumtype_smtlib
February 23, 2024 15:01 5m 46s
Merge branch 'master' into multi_product Linux build-test-deploy #69: Commit f0f0316 pushed by leventeBajczi
February 23, 2024 13:12 11m 8s multi_product
multi_product
February 23, 2024 13:12 11m 8s
Merge branch 'master' into multi_product Linux build-test-deploy #68: Commit 181e88c pushed by leventeBajczi
February 23, 2024 13:07 5m 25s multi_product
multi_product
February 23, 2024 13:07 5m 25s
Merge branch 'master' into multi_product Linux build-test-deploy #67: Commit 5ee7afd pushed by leventeBajczi
February 23, 2024 13:05 2m 46s multi_product
multi_product
February 23, 2024 13:05 2m 46s
Merge branch 'master' into multi_product Linux build-test-deploy #66: Commit 78be96d pushed by leventeBajczi
February 23, 2024 12:56 9m 8s multi_product
multi_product
February 23, 2024 12:56 9m 8s
Merge branch 'master' into multi_product Linux build-test-deploy #65: Commit 2d8119b pushed by leventeBajczi
February 23, 2024 12:16 19m 23s multi_product
multi_product
February 23, 2024 12:16 19m 23s
Added multi formalism to create product of arbitrary number of formal… Linux build-test-deploy #64: Commit af2672b pushed by RipplB
February 22, 2024 21:44 19m 56s multi_product
multi_product
February 22, 2024 21:44 19m 56s
Added multi formalism to create product of arbitrary number of formal… Linux build-test-deploy #63: Commit 7a4ad5f pushed by RipplB
February 22, 2024 21:23 13m 9s multi_product
multi_product
February 22, 2024 21:23 13m 9s
Refactor into StmtAction Linux build-test-deploy #62: Commit 4ff2682 pushed by RipplB
February 22, 2024 21:05 6m 28s tdk
tdk
February 22, 2024 21:05 6m 28s
Merge pull request #250 from ftsrg/fix-docs Linux build-test-deploy #61: Commit 46907d2 pushed by RipplB
February 18, 2024 20:57 21m 10s master
master
February 18, 2024 20:57 21m 10s
Progress Linux build-test-deploy #60: Commit 4d094c6 pushed by RipplB
January 16, 2024 14:11 6m 37s enumtype_smtlib
enumtype_smtlib
January 16, 2024 14:11 6m 37s
Progress in transformations Linux build-test-deploy #59: Commit 32a5cd4 pushed by RipplB
January 15, 2024 22:42 6m 52s enumtype_smtlib
enumtype_smtlib
January 15, 2024 22:42 6m 52s
Aid distr benchmark Linux build-test-deploy #58: Commit fc844dd pushed by RipplB
October 29, 2023 10:11 10m 5s tdk
tdk
October 29, 2023 10:11 10m 5s
Try fix oob interpolant foldin Linux build-test-deploy #57: Commit e8a6fde pushed by RipplB
October 27, 2023 14:57 11m 41s tdk
tdk
October 27, 2023 14:57 11m 41s
Revert pathutils to old Linux build-test-deploy #56: Commit 71d2c7b pushed by RipplB
October 27, 2023 14:55 13m 2s tdk
tdk
October 27, 2023 14:55 13m 2s