Skip to content
CI

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1925

Sign in to view logs

Rename FunctionnalProgrammingAndCategoryTheory and add migration

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1925

Triggered via pull request November 18, 2024 15:27
@PhilippusPhilippus
opened #1500
Philippus:rename-FunctionnalProgrammingAndCategoryTheory
Status Failure
Total duration 2m 59s
Artifacts –

ci.yml

on: pull_request
Scalafmt and Scalafix
2m 33s
Scalafmt and Scalafix
unit
2m 47s
unit
integration
2m 49s
integration
Fit to window
Zoom out
Zoom in

Annotations

2 errors
unit
Process completed with exit code 1.
integration
Process completed with exit code 1.