Formal Spec Listener #10
will-break-itformal-spec-listener.yaml
on: workflow_dispatch
Process Formal Spec Update
20s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
formal-spec-html
Expired
|
3.41 MB |
sha256:d7b3cf63f5fff22a26e923f2f50295615c3bcf625f99d5526a6eed70c3f1f37c
|
|