Repair TLA+ ordered serialisability invariant #8671
achamayouci.yml
on: pull_request
VMSS Virtual A
13m 37s
VMSS Virtual B
18m 54s
VMSS Virtual C
17m 33s
ACI SNP Milan
13m 3s
ACI SNP Genoa
11m 3s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
logs-aci-snp-milan
|
5.9 MB |
sha256:c3d4a25a61927c6955892475e1dbe020d405fecca93c056582eea48df456d67c
|
|
|
logs-azurelinux-virtual-a
|
625 KB |
sha256:7aeba71bac3088025487e43e1a62fa761cb23092f33b2cb1de069e3ef2c18ca6
|
|
|
logs-azurelinux-virtual-b
|
26.7 MB |
sha256:844c0ab62358cfaf1b4dc57e5333a800e19446c3071736b307d519322c5a1663
|
|
|
logs-azurelinux-virtual-c
|
20.4 MB |
sha256:34c38b153e42da6c13fb9c59ddfdaaf5a0237cfeb4cddf3d05f5fc29ad64be97
|
|
|
logs-caci-snp-genoa
|
5.86 MB |
sha256:db2ab42c656e86bc6eef83370bea87a82f7b0234180f4c863bdfbc841e3fff23
|
|