Skip to content
Run pre-commit and in-place update PR on push

chore: generalize Adapted to dependent types #198

Sign in to view logs

chore: generalize Adapted to dependent types

chore: generalize Adapted to dependent types #198

Triggered via push October 14, 2025 14:46
@RemyDegenneRemyDegenne
pushed 716f422
RD_adaptedDependent
Status Success
Total duration 30s
Artifacts –

pre-commit.yml

on: push
main
27s
main
Fit to window
Zoom out
Zoom in