@announce just so you know, 3 of the submissions don't work: AFLA, CBMC, and HNCC
@cobalt Many thanks. S3 bucket filename didn’t line up because of trailing whitespace/dot. All fixed.
@announce just so you know, 3 of the submissions don't work: AFLA, CBMC, and HNCC
@cobalt Many thanks. S3 bucket filename didn’t line up because of trailing whitespace/dot. All fixed.