Skip to content
Agda

docs(explorations): scaffold the decoration bridge as R5 (exploratory) #537

Sign in to view logs

docs(explorations): scaffold the decoration bridge as R5 (exploratory)

docs(explorations): scaffold the decoration bridge as R5 (exploratory) #537

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
10m 54s
check
1m 52s
12m 46s