.github/workflows/linux.yml

Add min/max functions to mathlib #1150

Sign in to view logs

Triggered via pull request December 19, 2023 11:00

Akuli

opened #466

minmax

Status Success

Total duration 8m 10s

Artifacts –

linux.yml

on: pull_request

compare-compilers

editorconfig-checker

Matrix: doctest

Matrix: test