Updating CompFuzzCI on PR Closed

Feat: Translate Dafny tests to Rust tests #25

Sign in to view logs

Triggered via pull request September 12, 2024 22:28

MikaelMayer

closed #5676

feat-5666-cargo-test

Status Success

Total duration 10s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

compfuzzci_close_pr.yaml

on: pull_request