Skip to content
CI (Coq, docker, dev)

rust: Annotates literals with their type. #726

Sign in to view logs

rust: Annotates literals with their type.

rust: Annotates literals with their type. #726

Run time

Learn about OS pricing on GitHub Actions
Job Run time
master
3h 30m 41s
test-amd64
2h 49m 41s
6h 20m 22s