CI

(src/lib) allowing to build with both 6.4 and android15-6.6 #62

Sign in to view logs

Triggered via pull request April 23, 2025 16:13

kmemarian

synchronize #2

kmemarian:main

Status Cancelled

Total duration 2s

Artifacts –

ci.yml

on: pull_request

Matrix: build_rocq

Waiting for pending jobs

Annotations

1 error

Canceling since a higher priority waiting request for 'CI-refs/pull/2/merge' exists