add a note about configuring the width of side-conditions for reducti… #42

Sign in to view logs

Triggered via push December 31, 2023 20:31

rfindler

master

Status Success

Total duration 4m 39s

Artifacts –

ci.yml

on: push

Build on Racket