continuous integration (staging)

chore(Pointwise): rename `Set.set_smul_subset_set_smul_iff` to `Set.s… #13291

Sign in to view logs

Triggered via push January 24, 2025 21:05

mathlib-bors[bot]

staging

Status Failure

Total duration 25m 2s

Artifacts –

bors.yml

on: push

Annotations

2 errors

The process '/usr/bin/env' failed with exit code 1

The process '/usr/bin/bash' failed with exit code 1