CI

refactor(Vorspiel): rename clashing Matrix.map/forall_iff/exists_iff to vec* (Mathlib co-import) #2745

Sign in to view logs

This workflow is awaiting approval from a maintainer in #835

Triggered via pull request July 3, 2026 19:00

A-M-Berns

opened #835

A-M-Berns:fix/vecMap-mathlib-clash

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #835

ci.yml

on: pull_request

Check mk_all executed

Check references.bib format