agda: Move MSFree rule up #44

Sign in to view logs

Triggered via push December 28, 2023 16:16

mirryi

master

Status Success

Total duration 1m 9s

Artifacts –

agda.yaml

on: push