Skip to content
Agda

echo-types: open establishment track (Pillar A landed, B–D scaffolded) #304

Sign in to view logs

echo-types: open establishment track (Pillar A landed, B–D scaffolded)

echo-types: open establishment track (Pillar A landed, B–D scaffolded) #304

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 38s
1m 38s