Skip to content

Actions: Z3Prover/z3

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
414 workflow runs
414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Refactor mk_or and mk_and helpers to use std::initializer_list CI #886: Pull request #8527 synchronize by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
Changes before error encountered CI #885: Commit 9e391cf pushed by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
[WIP] Refactor mk_or and mk_and helpers to use std::initializer_list CI #884: Pull request #8527 synchronize by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
Fix: Keep 4-arg mk_or for backward compatibility with initializer_lis… CI #883: Commit b807104 pushed by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
[WIP] Refactor AST construction APIs to use std::initializer_list CI #882: Pull request #8528 synchronize by Copilot AI
Action required copilot/adopt-initializer-list-ast
copilot/adopt-initializer-list-ast
Action required
Changes before error encountered CI #881: Commit be73071 pushed by Copilot AI
Action required copilot/adopt-initializer-list-ast
copilot/adopt-initializer-list-ast
Action required
[WIP] Refactor mk_or and mk_and helpers to use std::initializer_list CI #880: Pull request #8527 synchronize by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
Refactor mk_or and mk_and helpers to use std::initializer_list CI #879: Commit af98411 pushed by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
[WIP] Refactor AST construction APIs to use std::initializer_list CI #878: Pull request #8528 opened by Copilot AI
Action required copilot/adopt-initializer-list-ast
copilot/adopt-initializer-list-ast
Action required
[WIP] Refactor mk_or and mk_and helpers to use std::initializer_list CI #877: Pull request #8527 opened by Copilot AI
Action required copilot/refactor-mk-or-and-helpers
copilot/refactor-mk-or-and-helpers
Action required
Merge pull request #8509 from Z3Prover/copilot/fix-build-warnings CI #876: Commit 8978f15 pushed by NikolajBjorner
29m 32s master
master
29m 32s
Merge pull request #8521 from Z3Prover/copilot/add-static-linkage-fun… CI #875: Commit f26f570 pushed by NikolajBjorner
2m 23s master
master
2m 23s
Add static linkage to file-local function CI #874: Pull request #8521 synchronize by Copilot AI
31m 25s copilot/add-static-linkage-functions
copilot/add-static-linkage-functions
31m 25s
Revert prexpr to non-static for debugging availability CI #873: Commit eced186 pushed by Copilot AI
30m 53s copilot/add-static-linkage-functions
copilot/add-static-linkage-functions
30m 53s
try fixed int patch period CI #872: Commit 3e2027e pushed by levnach
53m 26s master
master
53m 26s
Add static linkage to inline functions in header files (#8519) CI #867: Commit 3095ab5 pushed by nunoplopes
52m 43s master
master
52m 43s
optionally throttle patch_basic_columns() especially useful in unsat … CI #866: Commit bee2b45 pushed by levnach
1h 41m 10s master
master
1h 41m 10s
Update a3-rust verifier documentation: correct artifact references an… CI #859: Commit f6a1d87 pushed by NikolajBjorner
29m 15s master
master
29m 15s
[WIP] Add static to global variables used in single file CI #856: Pull request #8520 opened by Copilot AI
Action required copilot/add-static-to-global-variables
copilot/add-static-to-global-variables
Action required
na CI #855: Commit 0f30ae2 pushed by NikolajBjorner
21m 9s master
master
21m 9s
Store rational by value in parameter variant CI #853: Pull request #8518 synchronize by Copilot AI
Action required copilot/modify-parameter-class-value
copilot/modify-parameter-class-value
Action required
Modify parameter class to hold rational by value instead of pointer CI #852: Commit d1c4eaa pushed by Copilot AI
Action required copilot/modify-parameter-class-value
copilot/modify-parameter-class-value
Action required
Store rational by value in parameter variant CI #851: Pull request #8518 opened by Copilot AI
Action required copilot/modify-parameter-class-value
copilot/modify-parameter-class-value
Action required
Add datatype_update_field to C++, Python, TypeScript, and OCaml bindings CI #850: Pull request #8500 synchronize by Copilot AI
29m 52s copilot/update-functional-datatype
copilot/update-functional-datatype
29m 52s
Fix TypeScript compilation error: add updateField to Context interface CI #849: Commit decb0ff pushed by Copilot AI
30m 11s copilot/update-functional-datatype
copilot/update-functional-datatype
30m 11s