build-and-test

Add a QCheck-STM test for Stack #403

Sign in to view logs

Triggered via pull request December 8, 2023 08:56

polytypic

opened #141

add-stm-test

Status Success

Total duration 8m 43s

Artifacts –

workflow.yml

on: pull_request