Skip to content

Merge pull request #723 from ucsd-progsys/fd/eqname-type #525

Merge pull request #723 from ucsd-progsys/fd/eqname-type

Merge pull request #723 from ucsd-progsys/fd/eqname-type #525

Triggered via push November 30, 2024 23:51
Status Success
Total duration 12m 57s
Artifacts

stack.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in