Skip to content

Actions: Z3Prover/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
android-build.yml
793 workflow runs
793 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 4 to 5 (#7773) Android Build #3039: Commit d375d97 pushed by NikolajBjorner
August 12, 2025 22:19 11m 36s master
master
August 12, 2025 22:19 11m 36s
Add .github/copilot-instructions.md with comprehensive Z3 development… Android Build #3038: Commit 6486d92 pushed by NikolajBjorner
August 12, 2025 22:18 11m 37s master
master
August 12, 2025 22:18 11m 37s
restore the square-free check Android Build #3037: Commit cf8a17a pushed by levnach
August 11, 2025 20:16 11m 54s master
master
August 11, 2025 20:16 11m 54s
remove unused square-free check Android Build #3036: Commit e33dc47 pushed by levnach
August 11, 2025 14:24 12m 6s master
master
August 11, 2025 14:24 12m 6s
Update RELEASE_NOTES.md Android Build #3035: Commit b7d5add pushed by NikolajBjorner
August 10, 2025 21:25 11m 47s master
master
August 10, 2025 21:25 11m 47s
rename add_lcs to add_lc Android Build #3034: Commit 8598a74 pushed by levnach
August 8, 2025 18:02 12m 15s master
master
August 8, 2025 18:02 12m 15s
remove ref to theory_str Android Build #3033: Commit efb0bda pushed by NikolajBjorner
August 8, 2025 04:21 11m 57s master
master
August 8, 2025 04:21 11m 57s
remove automata from python build Android Build #3032: Commit baa0588 pushed by NikolajBjorner
August 8, 2025 04:07 11m 33s master
master
August 8, 2025 04:07 11m 33s
remove theory_str and classes that are only used by it Android Build #3031: Commit fcd3a70 pushed by NikolajBjorner
August 8, 2025 04:05 11m 46s master
master
August 8, 2025 04:05 11m 46s
avoid interferring side-effects in function calls Android Build #3030: Commit 2ac1b24 pushed by NikolajBjorner
August 7, 2025 21:40 12m 27s master
master
August 7, 2025 21:40 12m 27s
fix java build for java bindings Android Build #3029: Commit 7ba967e pushed by NikolajBjorner
August 7, 2025 21:37 11m 43s master
master
August 7, 2025 21:37 11m 43s
register on_binding attribute Android Build #3028: Commit 0cefc92 pushed by NikolajBjorner
August 7, 2025 20:46 12m 8s master
master
August 7, 2025 20:46 12m 8s
use jboolean in Native interface Android Build #3027: Commit d57dd6e pushed by NikolajBjorner
August 7, 2025 20:11 11m 53s master
master
August 7, 2025 20:11 11m 53s
add on_binding callbacks across APIs Android Build #3026: Commit fa3d341 pushed by NikolajBjorner
August 7, 2025 19:56 11m 47s master
master
August 7, 2025 19:56 11m 47s
rename a Python file Android Build #3025: Commit 30830aa pushed by levnach
August 7, 2025 15:33 12m 35s master
master
August 7, 2025 15:33 12m 35s
add Z3_solver_propagate_on_binding to ml callback declarations Android Build #3024: Commit 31a3037 pushed by NikolajBjorner
August 7, 2025 12:54 12m 7s master
master
August 7, 2025 12:54 12m 7s
missing new closure Android Build #3023: Commit aad511d pushed by NikolajBjorner
August 7, 2025 04:22 11m 55s master
master
August 7, 2025 04:22 11m 55s
add an option to register callback on quantifier instantiation Android Build #3022: Commit b33f444 pushed by NikolajBjorner
August 7, 2025 04:12 11m 45s master
master
August 7, 2025 04:12 11m 45s
fix #7603: race condition in Ctrl-C handling (#7755) Android Build #3021: Commit b1ab695 pushed by NikolajBjorner
August 6, 2025 21:27 11m 58s master
master
August 6, 2025 21:27 11m 58s
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings… Android Build #3020: Commit 7a8ba4b pushed by NikolajBjorner
August 5, 2025 03:58 12m 5s master
master
August 5, 2025 03:58 12m 5s
Update smt_parallel.cpp Android Build #3019: Commit d66fabe pushed by NikolajBjorner
August 3, 2025 21:17 11m 42s master
master
August 3, 2025 21:17 11m 42s
remove a bunch of string copies Android Build #3018: Commit f23b053 pushed by nunoplopes
August 3, 2025 09:41 12m 7s master
master
August 3, 2025 09:41 12m 7s
remove default constructor Android Build #3017: Commit 97aa46a pushed by nunoplopes
August 3, 2025 08:53 12m 2s master
master
August 3, 2025 08:53 12m 2s
disable pre-processing during cubing Android Build #3016: Commit 89cc9bd pushed by NikolajBjorner
August 1, 2025 03:59 11m 47s master
master
August 1, 2025 03:59 11m 47s
enable passive, add check for bloom up-to-date Android Build #3015: Commit f77123c pushed by NikolajBjorner
July 28, 2025 00:18 11m 40s master
master
July 28, 2025 00:18 11m 40s