Skip to content
🔗 Broken Links

Use Agda Haskell lib instead of MAlonzo #464

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #464

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check
1m 30s
1m 30s