Skip to content
CI

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1929

Sign in to view logs

Rename FunctionnalProgrammingAndCategoryTheory and add migration

Rename FunctionnalProgrammingAndCategoryTheory and add migration #1929

Triggered via pull request November 19, 2024 07:54
@adpi2adpi2
synchronize #1500
Philippus:rename-FunctionnalProgrammingAndCategoryTheory
Status Success
Total duration 6m 19s
Artifacts –

ci.yml

on: pull_request
Scalafmt and Scalafix
2m 34s
Scalafmt and Scalafix
unit
4m 50s
unit
integration
6m 11s
integration
Fit to window
Zoom out
Zoom in