Skip to content
CI Matrix

Make replay pause at each user PATE command. #765

Sign in to view logs

Make replay pause at each user PATE command.

Make replay pause at each user PATE command. #765

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker
1h 9m 3s
GHC 9.6.2 on self-hosted pate-ppc
2h 57m 30s
4h 6m 33s