Skip to content

Merge pull request #22 from zssherman/crameri_michelson #80

Merge pull request #22 from zssherman/crameri_michelson

Merge pull request #22 from zssherman/crameri_michelson #80

Triggered via push October 30, 2023 15:34
Status Skipped
Total duration 4s
Artifacts

ci.yaml

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