Skip to content

Actions: Z3Prover/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7446, by adding rewrite simplification Android Build #2444: Commit 1cc808c pushed by NikolajBjorner
10m 59s master
master
10m 59s
fix #7449 Android Build #2443: Commit 30ad22a pushed by NikolajBjorner
11m 7s master
master
11m 7s
avoid circular dependencies in justifications that get updated. fixes… Android Build #2442: Commit 879bb4b pushed by NikolajBjorner
11m 8s master
master
11m 8s
fix #7448 Android Build #2441: Commit 1856ab7 pushed by NikolajBjorner
13m 49s master
master
13m 49s
inherit more exceptions from std::exception Android Build #2440: Commit abd1674 pushed by NikolajBjorner
11m 44s master
master
11m 44s
port to inherit from std::exception Android Build #2439: Commit a38bf3e pushed by NikolajBjorner
11m 0s master
master
11m 0s
add noexcept Android Build #2438: Commit 407bad3 pushed by NikolajBjorner
10m 58s master
master
10m 58s
add noexcept for signature compatibility Android Build #2437: Commit 42894f7 pushed by NikolajBjorner
48s master
master
48s
Make build process work with pyodide (#7442) Android Build #2436: Commit 75e4677 pushed by NikolajBjorner
34s master
master
34s
use std::exception as base class to z3_exception Android Build #2435: Commit 9206546 pushed by NikolajBjorner
33s master
master
33s
fix reporting on cancelation when based on cancel flag Android Build #2434: Commit 1957b4d pushed by NikolajBjorner
10m 37s master
master
10m 37s
js: Add pseudo-boolean high-level functions (#7426) Android Build #2433: Commit 604714b pushed by NikolajBjorner
10m 43s master
master
10m 43s
Sls (#7439) Android Build #2432: Commit 91dc02d pushed by NikolajBjorner
10m 45s master
master
10m 45s
fix #7434 Android Build #2431: Commit ecdfab8 pushed by NikolajBjorner
10m 39s master
master
10m 39s
Add assert_and_track support to Optimize class in .NET binding (#7437) Android Build #2430: Commit b0fef64 pushed by NikolajBjorner
11m 14s master
master
11m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-10-26 or the other filters available.