coqPackages.metacoq: 1.3.2 → 1.3.4 #49221
4ever2eval.yml
on: pull_request_target
get-merge-commit
/
resolve-merge-commit
5s
Eval nixpkgs with aliases enabled
45s
Matrix: Outpaths
Tag
37s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
comparison
|
1.18 KB |
|
|
intermediate-aarch64-darwin
|
2.93 MB |
|
|
intermediate-aarch64-linux
|
3.51 MB |
|
|
intermediate-x86_64-darwin
|
2.94 MB |
|
|
intermediate-x86_64-linux
|
3.6 MB |
|
|
paths
|
518 KB |
|
|
result
|
11 MB |
|