Skip to content

Merge branch 'main' into main #7

Merge branch 'main' into main

Merge branch 'main' into main #7

Triggered via push August 28, 2024 07:03
Status Success
Total duration 2m 12s
Artifacts

ci.yml

on: push
commitlint
0s
commitlint
pre-commit
1m 20s
pre-commit
dry-run-release
57s
dry-run-release
check-poetry-lock
17s
check-poetry-lock
Matrix: nix
Matrix: poetry_ibis
Fit to window
Zoom out
Zoom in