Skip to content

rust: Include documentation comments for type alias. #760

rust: Include documentation comments for type alias.

rust: Include documentation comments for type alias. #760

Triggered via pull request October 26, 2023 16:36
Status Cancelled
Total duration 2m 26s
Artifacts 2

docker-coq.yml

on: pull_request
Matrix: docker-build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

2 errors
master
Canceling since a higher priority waiting request for 'CI (Coq, docker, dev)-master-rust_typealias' exists
master
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-master Expired
4.69 KB
ExtractionOCaml-master Expired
3.12 KB