Build and Run Simulation

Bump dependencies #71

Sign in to view logs

Triggered via pull request October 4, 2024 21:36

unlsycn

opened #33

dependencies-bumping-2024-10-04

Status Success

Total duration 4m 3s

Artifacts –

main.yml

on: pull_request

Build Simulators

Run Formal Verification