Skip to content
Main workflow

Purify fold and move it into Tar with a GADT, use it then for Tar_gz … #440

Sign in to view logs

Purify fold and move it into Tar with a GADT, use it then for Tar_gz …

Purify fold and move it into Tar with a GADT, use it then for Tar_gz … #440

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (windows-latest, 4.14.x)
7m 14s
7m 14s