some FUNPOW Tau and spin lemmas for itreeTau #509

Sign in to view logs

Triggered via push August 20, 2024 03:15

mn200

master

Status Success

Total duration 1h 58m 28s

Artifacts –

docker-ci.yml

on: push