Skip to content

Actions: Z3Prover/z3

Actions

Build and Cache Z3

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-z3-cache.yml
688 workflow runs
688 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lcube (#9858) Build and Cache Z3 #688: Commit f508854 pushed by levnach
15m 59s master
master
15m 59s
revert updates Build and Cache Z3 #687: Commit 4bf4fbd pushed by NikolajBjorner
15m 27s master
master
15m 27s
disable xor detection Build and Cache Z3 #686: Commit a827164 pushed by NikolajBjorner
14m 50s master
master
14m 50s
add membership elimination to legacy elim_uncnstr pre-processor. Dete… Build and Cache Z3 #685: Commit 3a390dd pushed by NikolajBjorner
16m 8s master
master
16m 8s
Build and Cache Z3 Build and Cache Z3 #684: Scheduled
17s master
master
17s
Build and Cache Z3 Build and Cache Z3 #683: Scheduled
18s master
master
18s
Towards clean z3 build in clang-tidy: Eliminate zero-length-array war… Build and Cache Z3 #682: Commit e05ebe8 pushed by NikolajBjorner
11m 56s master
master
11m 56s
Fix Homebrew/macOS build break by defining obj_map::key_data construc… Build and Cache Z3 #681: Commit 054d714 pushed by NikolajBjorner
16m 31s master
master
16m 31s
Bump actions/upload-artifact from 4 to 7 (#9827) Build and Cache Z3 #680: Commit 05c9ece pushed by NikolajBjorner
12m 22s master
master
12m 22s
Bump actions/checkout from 6.0.2 to 6.0.3 (#9828) Build and Cache Z3 #679: Commit da2d99a pushed by NikolajBjorner
15m 2s master
master
15m 2s
Suppress auto-created failure issues for agentic workflows (#9834) Build and Cache Z3 #678: Commit 24242ec pushed by NikolajBjorner
16m 12s master
master
16m 12s
Bump github/gh-aw-actions from 0.77.5 to 0.79.6 (#9829) Build and Cache Z3 #677: Commit 335e23b pushed by NikolajBjorner
15m 24s master
master
15m 24s
Build and Cache Z3 Build and Cache Z3 #676: Scheduled
36s master
master
36s
gh aw init Build and Cache Z3 #675: Commit 8794ca8 pushed by NikolajBjorner
16m 38s master
master
16m 38s
Build and Cache Z3 Build and Cache Z3 #674: Scheduled
50s master
master
50s
Add rlimit support in fixedpoint parameters (#9798) Build and Cache Z3 #673: Commit 677abb5 pushed by NikolajBjorner
15m 18s master
master
15m 18s
Update seq_regex_bisim.h Build and Cache Z3 #672: Commit 384414b pushed by NikolajBjorner
15m 46s master
master
15m 46s
Update seq_regex_bisim.cpp Build and Cache Z3 #671: Commit 44a561e pushed by NikolajBjorner
16m 18s master
master
16m 18s
Update seq_regex_bisim.cpp Build and Cache Z3 #670: Commit 207e6b4 pushed by NikolajBjorner
15m 1s master
master
15m 1s
Add OP_RE_XOR and union-find bisimulation for ground regex equivalenc… Build and Cache Z3 #669: Commit 513b812 pushed by NikolajBjorner
16m 6s master
master
16m 6s
Bump shell-quote from 1.7.3 to 1.8.4 in /src/api/js (#9803) Build and Cache Z3 #668: Commit 589bd9e pushed by NikolajBjorner
15m 58s master
master
15m 58s
Fix off-by-one column after comment lines in SMT2 scanner (#9808) Build and Cache Z3 #667: Commit 1b2ca1a pushed by levnach
15m 3s master
master
15m 3s
Build and Cache Z3 Build and Cache Z3 #666: Scheduled
18s master
master
18s
seq_rewriter: add missing concat rewrites for nullable/full-seq/star … Build and Cache Z3 #665: Commit e093be8 pushed by NikolajBjorner
15m 59s master
master
15m 59s
Port is_classical attribute to seq_util::rex::info (#9796) Build and Cache Z3 #664: Commit d415ead pushed by NikolajBjorner
15m 31s master
master
15m 31s