.github/workflows/pr.yml

Update Mathlib Note in README.md #18

Sign in to view logs

Triggered via pull request February 19, 2024 07:03

opened #21

update-mathlib-note-in-readme

Status Success

Total duration 8m 47s

Artifacts –

pr.yml

on: pull_request

build-with-elan