rm decidable, list-witnesses per mstksg/functor-products#4 #3623

Sign in to view logs

Triggered via push March 10, 2024 23:21

DanBurton

master

Status Success

Total duration 3m 16s

Artifacts –

check.yml

on: push