Build

Iteration: don't use axioms #206

Sign in to view logs

Triggered via push May 3, 2026 14:57

xavierleroy

master

Status Success

Total duration 10m 15s

Artifacts –

build.yml

on: push

Matrix: linux