This repository has been archived by the owner on Nov 26, 2024. It is now read-only.

CI

OneStepProof: CrossModuleInternal instead of dynamic #43

Sign in to view logs

Triggered via pull request September 27, 2023 16:38

tsahee

synchronize #7

cross_module_internal

Status Success

Total duration 12s

Artifacts –

base-branch-check.yml

on: pull_request

Pull request base branch check