Skip to content
Nix Agda CI

Implement: Make the rewrite mode modifiable #41 #44

Sign in to view logs

Implement: Make the rewrite mode modifiable #41

Implement: Make the rewrite mode modifiable #41 #44

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Agda (macos-latest)
1m 51s
Nix Agda (ubuntu-22.04)
56s
2m 47s