Skip to content

Merge pull request #209 from VeriFIT/transducers #62

Merge pull request #209 from VeriFIT/transducers

Merge pull request #209 from VeriFIT/transducers #62

Triggered via push February 20, 2025 11:51
Status Success
Total duration 20m 32s
Artifacts

build.yml

on: push
MacOS (build-&-test)
9m 6s
MacOS (build-&-test)
Ubuntu (build-&-test)
20m 23s
Ubuntu (build-&-test)
Fit to window
Zoom out
Zoom in