Skip to content
Release

👨🏻‍🏫 Add proof alias (label <=> name) (#693) #112

Sign in to view logs

👨🏻‍🏫 Add proof alias (label <=> name) (#693)

👨🏻‍🏫 Add proof alias (label <=> name) (#693) #112

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Release
3m 18s
3m 18s