continuous integration (mathlib forks)

Workflow runs for continuous integration (mathlib forks)

• refactor: making trans usage explicit with kerLift

  cancelled:
  continuous integration (mathlib forks)#1:Pull request#1openedbymenon-codes
  Jul 29, 20261d 0h 0m 2s
  More actions for workflow run 1