Back to pull request #466

Add min/max functions to mathlib #508

Sign in to view logs

Triggered via pull request December 19, 2023 11:00

Akuli

opened #466

Status Success

Total duration 19s

Artifacts –

autofix.yml

on: pull_request_target

fix-line-endings