Add a few more contract and harness examples #16

Sign in to view logs

Triggered via pull request June 12, 2024 15:51

celinval

synchronize #18

celinval:verify-0000-swap

Status Success

Total duration 14m 3s

Artifacts –

rustc.yml

on: pull_request

Matrix: build