8000 Android Build · Workflow runs · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Z3Prover/z3

8000

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

missing file Android Build #2913: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 11m 34s master
master
May 23, 2025 23:20 11m 34s
v1 of a randomizer simplifier Android Build #2912: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 48s master
master
May 23, 2025 23:15 48s
for future ignoring genai files Android Build #2911: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 11m 15s master
master
May 22, 2025 00:09 11m 15s
remove quotes from arguments to TRACE Android Build #2910: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 58s master
master
May 21, 2025 23:44 58s
update add-term to avoid duplicating fresh aux-expr Android Build #2909: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 11m 35s master
master
May 20, 2025 21:22 11m 35s
Pr (#7654) Android Build #2908: Commit c2098b4 pushed by NikolajBjorner
May 19, 2025 10:24 11m 33s master
master
May 19, 2025 10:24 11m 33s
Update prd.yml Android Build #2907: Commit 8d67fee pushed by NikolajBjorner
May 18, 2025 00:39 11m 22s master
master
May 18, 2025 00:39 11m 22s
Update prd.yml Android Build #2906: Commit a4e7123 pushed by NikolajBjorner
May 18, 2025 00:34 12m 21s master
master
May 18, 2025 00:34 12m 21s
Update prd.yml Android Build #2905: Commit a7fbddd pushed by NikolajBjorner
May 18, 2025 00:24 11m 35s master
master
May 18, 2025 00:24 11m 35s
add prd (#7649) Android Build #2904: Commit ad02d18 pushed by NikolajBjorner
May 18, 2025 00:07 11m 22s master
master
May 18, 2025 00:07 11m 22s
Create prd.yml Android Build #2903: Commit 3381220 pushed by NikolajBjorner
May 16, 2025 21:15 11m 48s master
master
May 16, 2025 21:15 11m 48s
refactoring to use for-range Android Build #2902: Commit 47c12f9 pushed by NikolajBjorner
May 15, 2025 17:57 11m 32s master
master
May 15, 2025 17:57 11m 32s
Add support for building Z3 using Bazel. (#7646) Android Build #2901: Commit 0b26f7e pushed by NikolajBjorner
May 15, 2025 15:47 11m 51s master
master
May 15, 2025 15:47 11m 51s
adjust the frequency of dio calls Android Build #2900: Commit f680242 pushed by levnach
May 14, 2025 15:17 11m 23s master
master
May 14, 2025 15:17 11m 23s
cleanup in dioph_eq.cpp Android Build #2899: Commit 15a3818 pushed by levnach
May 13, 2025 21:57 11m 29s master
master
May 13, 2025 21:57 11m 29s
move to readme-cmake Android Build #2898: Commit 1109139 pushed by NikolajBjorner
May 13, 2025 21:36 11m 39s master
master
May 13, 2025 21:36 11m 39s
include some build cheat sheet Android Build #2897: Commit ce15351 pushed by NikolajBjorner
May 13, 2025 21:34 11m 17s master
master
May 13, 2025 21:34 11m 17s
update version number Android Build #2896: Commit a5a2a13 pushed by NikolajBjorner
May 13, 2025 21:32 11m 51s master
master
May 13, 2025 21:32 11m 51s
handle larger buffers Android Build #2895: Commit 0d3c29a pushed by NikolajBjorner
May 13, 2025 21:12 11m 42s master
master
May 13, 2025 21:12 11m 42s
remove slack heuristic Android Build #2894: Commit 6b32aae pushed by levnach
May 12, 2025 21:02 11m 34s master
master
May 12, 2025 21:02 11m 34s
add E-matching to EUF completion Android Build #2893: Commit 7ca94e8 pushed by NikolajBjorner
May 10, 2025 23:15 11m 32s master
master
May 10, 2025 23:15 11m 32s
remove copy of LICENSE.txt - pypi doesn't take it Android Build #2892: Commit 9232ef5 pushed by NikolajBjorner
May 9, 2025 23:53 11m 48s master
master
May 9, 2025 23:53 11m 48s
enable pypi Android Build #2891: Commit 49dffae pushed by NikolajBjorner
May 9, 2025 22:37 11m 29s master
master
May 9, 2025 22:37 11m 29s
enable pypi Android Build #2890: Commit b54ed38 pushed by NikolajBjorner
May 9, 2025 20:15 11m 37s master
master
May 9, 2025 20:15 11m 37s
disable pypi Android Build #2889: Commit 59a7e00 pushed by NikolajBjorner
May 9, 2025 15:26 11m 36s master
master
May 9, 2025 15:26 11m 36s
0