Commitlint

ci(gitlab-ci): remove amended commit due to `coqbot` #314

Sign in to view logs

Triggered via pull request August 2, 2025 22:16

dafyddj

opened #360

dafyddj:ci/commitlint-fix

Status Success

Total duration 14s

Artifacts –

commitlint.yml

on: pull_request