Skip to content
Lint

Merge pull request #12 from moves-rwth/main #43

Sign in to view logs

Merge pull request #12 from moves-rwth/main

Merge pull request #12 from moves-rwth/main #43

Triggered via push July 2, 2024 14:53
@PimLeerkesPimLeerkes
pushed b255669
6-make-a-mapping-between-simple-representations-and-sparsematrix
Status Failure
Total duration 43s
Artifacts –

lint.yml

on: push
pre-commit
31s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
pre-commit
Process completed with exit code 1.