continuous integration (staging)

feat(RepresentationTheory/Action): add more limit properties of `Acti… #6064

Sign in to view logs

Triggered via push January 12, 2024 12:47

mathlib-bors[bot]

staging

Status Success

Total duration 1h 15m 56s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows