Skip to content

Merge pull request #2813 from informalsystems/ro/fix_function_inclusion #1196

Merge pull request #2813 from informalsystems/ro/fix_function_inclusion

Merge pull request #2813 from informalsystems/ro/fix_function_inclusion #1196

Triggered via push January 22, 2024 15:23
Status Success
Total duration 18s
Artifacts

deploy.yml

on: push