Skip to content

Merge pull request #29 from oasisprotocol/matevz/adr10/fix-leq-symbol #190

Merge pull request #29 from oasisprotocol/matevz/adr10/fix-leq-symbol

Merge pull request #29 from oasisprotocol/matevz/adr10/fix-leq-symbol #190

Triggered via push January 4, 2024 15:13
Status Success
Total duration 19s
Artifacts

ci-lint.yml

on: push
Fit to window
Zoom out
Zoom in