Skip to content

Actions: NikolajBjorner/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
android-build.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try to remove version spec Android Build #5: Commit 1b39290 pushed by NikolajBjorner
January 11, 2024 21:43 3m 44s master
master
January 11, 2024 21:43 3m 44s