Skip to content
CI

Upstream/dada2 base r #396

Sign in to view logs

Upstream/dada2 base r

Upstream/dada2 base r #396

Triggered via pull request October 15, 2026 23:34
@hyperpolymathhyperpolymath
synchronize #172
upstream/dada2-base-r
Status Success
Total duration 14s
Artifacts –

ci.yml

on: pull_request
Code relevance
9s
Code relevance
Julia tests
0s
Julia tests
Agda proofs
0s
Agda proofs
Fit to window
Zoom out
Zoom in