Build and Run Simulation

Do not inline layers in GCDFormal #70

Sign in to view logs

Triggered via pull request October 4, 2024 05:59

unlsycn

synchronize #32

dependencies-bumping-2024-10-04

Status Success

Total duration 3m 54s

Artifacts –

main.yml

on: pull_request

Build Simulators

Run Formal Verification