Skip to content
Nix Agda CI

Implement: Make the rewrite mode modifiable #41 #46

Sign in to view logs

Implement: Make the rewrite mode modifiable #41

Implement: Make the rewrite mode modifiable #41 #46

Triggered via push February 19, 2025 15:32
@4e554c4c4e554c4c
pushed 01babd0
master
Status Success
Total duration 25m 33s
Artifacts –

nix-agda.yml

on: push
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in