Skip to content
CI

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1926

Sign in to view logs

Rename FunctionnalProgrammingAndCategoryTheory and add migration

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1926

Triggered via pull request November 18, 2024 15:33
@PhilippusPhilippus
synchronize #1500
Philippus:rename-FunctionnalProgrammingAndCategoryTheory
Status Failure
Total duration 3m 10s
Artifacts –

ci.yml

on: pull_request
Scalafmt and Scalafix
2m 32s
Scalafmt and Scalafix
unit
3m 0s
unit
integration
2m 48s
integration
Fit to window
Zoom out
Zoom in

Annotations

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