Nix Agda CI

Implement: Make the rewrite mode modifiable #41 #44

Sign in to view logs

Re-run triggered February 19, 2025 15:04

4e554c4c

#165

ivanovs-4:issue-rewrite-mode-41

Status Success

Total duration 19m 34s

Artifacts –

nix-agda.yml

on: pull_request

Matrix: Nix Agda