some FUNPOW Tau and spin lemmas for itreeTau #508

Sign in to view logs

Triggered via push August 16, 2024 00:45

mn200

develop

Status Success

Total duration 2h 3m 3s

Artifacts –

docker-ci.yml

on: push