Repository navigation

Mirror to Git Forges

feat(jeg): judgement evidence graph — reify derivations, and CHECK th… #128

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mirror / mirror-sourcehut	0s
mirror / mirror-gitea	0s
mirror / mirror-codeberg	0s
mirror / mirror-gitlab	0s
mirror / mirror-radicle	0s
mirror / mirror-bitbucket	-5s
mirror / mirror-disroot	-10s
	-15s