Prove a number of theorems about list$adjacent #558

Sign in to view logs

Triggered via push September 30, 2024 04:49

mn200

master

Status Success

Total duration 2h 4m 42s

Artifacts –

docker-ci.yml

on: push