continuous integration (staging)

chore(Data/Finset/NatAntidiagonal): naming of antidiagonalEquivFin (#… #4277

Sign in to view logs

Triggered via push August 25, 2023 14:43

bors[bot]

staging

Status Success

Total duration 1h 6m 3s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)