Mirror to Git Forges

proofs(Layer 1.0): close slash-slash inductive case via mutual recurs… #250

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mirror / mirror-gitlab	8s
mirror / mirror-codeberg	8s
mirror / mirror-radicle	3m 15s
mirror / mirror-sourcehut	11s
mirror / mirror-bitbucket	0s
mirror / mirror-disroot	0s
mirror / mirror-gitea	0s
	3m 42s