Skip to content
Android Build

type check equality injectivity axiom #2204

Sign in to view logs

type check equality injectivity axiom

type check equality injectivity axiom #2204

Triggered via push April 20, 2024 18:57
@NikolajBjornerNikolajBjorner
pushed cbef183
master
Status Success
Total duration 8m 11s
Artifacts 4

android-build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
android-build-arm64-v8a
9.99 MB
android-build-armeabi-v7a
9.69 MB
android-build-x86
11.1 MB
android-build-x86_64
10.2 MB