ci

no tricks when proving associativity of min #96

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request December 21, 2023 18:01

opened #168

patch-1

Status Success

Total duration 2m 2s

Artifacts –

build.yml

on: pull_request