Skip to content

ci: add translation from Python #28

ci: add translation from Python

ci: add translation from Python #28

Triggered via pull request May 21, 2024 11:10
Status Cancelled
Total duration 7m 24s
Artifacts

coq.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
build
The run was canceled by @clarus.
build
The operation was canceled.
build
Failed to remove 'http.https://github.com/.extraheader' from the git config