Skip to content

Actions: VeriFIT/z3-noodler

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reduce hash table lookups in expr_abstract in half Android Build #2: Commit 6f24123 pushed by jurajsic
January 1, 2025 16:42 17m 1s master
master
January 1, 2025 16:42 17m 1s
add download of Arm64 to python packaging Android Build #1: Commit 3049f57 pushed by jurajsic
April 23, 2024 08:08 8m 32s master
master
April 23, 2024 08:08 8m 32s