Skip to content
Build

[ new ] parallel running of heterogeneous fibers (#16) #176

Sign in to view logs

[ new ] parallel running of heterogeneous fibers (#16)

[ new ] parallel running of heterogeneous fibers (#16) #176

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build stefan-hoeck/idris2-uv with Idris2 latest
1m 57s
1m 57s