docs

chore: add pre-commit config file #66

Sign in to view logs

Summary
Jobs
- docs
Run details
- Usage
- Workflow file

Triggered via push February 18, 2025 08:19

lu-pl

lupl/model-checking

Status Success

Total duration 20s

Artifacts –

deploy-docs.yml

on: push