Mirror to Git Forges

proof(verisimdb): close V8 (drift metric correctness) in Idris2 #169

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mirror-radicle	2m 59s
mirror-sourcehut	12s
mirror-codeberg	16s
mirror-gitlab	8s
mirror-disroot	0s
mirror-bitbucket	0s
mirror-gitea	0s
	3m 35s