Add first proof #6

Sign in to view logs

Triggered via push July 10, 2024 21:33

jaisnan

add-result-contract

Status Success

Total duration 10m 54s

Artifacts –

rustc.yml

on: push

Matrix: build