Skip to content
pre-commit

Merge pull request #15 from cvxgrp/main #43

Sign in to view logs

Merge pull request #15 from cvxgrp/main

Merge pull request #15 from cvxgrp/main #43

Triggered via push January 1, 2024 17:13
@tschmtschm
pushed 3ea2d7d
10-revisit-dependencies
Status Success
Total duration 17s
Artifacts –

pre-commit.yml

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