Rename FunctionnalProgrammingAndCategoryTheory and add migration #1927

Sign in to view logs

Triggered via pull request November 18, 2024 15:35

Philippus

synchronize #1500

Philippus:rename-FunctionnalProgrammingAndCategoryTheory

Status Failure

Total duration 4m 6s

Artifacts –

ci.yml

on: pull_request

Scalafmt and Scalafix

Annotations

1 error

integration

Process completed with exit code 1.