Skip to content
formal

[of] formal/py: Update the modules.yaml generation script for OF #116

Sign in to view logs

[of] formal/py: Update the modules.yaml generation script for OF

[of] formal/py: Update the modules.yaml generation script for OF #116

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
5m 31s
5m 31s