Mirror to GitLab and Bitbucket

feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… #80

Sign in to view logs

Triggered via push March 30, 2026 12:29

main

Status Skipped

Total duration 1s

Artifacts –

mirror.yml

on: push

Mirror repositories