collapseBuild Queue
No builds in the queue.
collapseEC2 Fleet Status

GitHub Repository wasm-semantics

WASM Semantics
   S   WNameLast SuccessLast FailureLast Duration  
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-251N/A 3 mo 17 days - PR 251: Dockerfile: Install z3-4.8.61 hr 6 min 
Aborted80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
PR-279N/A 1 mo 12 days - PR 279: Fix desugaring bug16 min 
Aborted20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
PR-292 4 days 15 hr - PR 292: Update dependency: deps/k 14 hr - PR 292: Update dependency: deps/k34 min 
Icon:  S M L