fix french quotes in dk output #65

Sign in to view logs

Triggered via push March 11, 2024 14:08

rish987

proof-irrel-patching

Status Failure

Total duration 5m 19s

Artifacts –

ci.yml

on: push

Matrix: ci

Annotations

1 error

ci (ubuntu-latest, 5.1)

Process completed with exit code 1.