.github/workflows/push_pr.yml

Prove MeasureTheory.SublinearOn.maximalFunction #300

Sign in to view logs

Triggered via pull request August 4, 2024 10:25

js2357

synchronize #107

js2357:maximalFunction

Status Success

Total duration 6m 48s

Artifacts –

push_pr.yml

on: pull_request