Repository navigation
fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle (#33) #66
hyperpolymathmirror.yml
on: push
mirror
/
mirror-gitlab
mirror
/
mirror-bitbucket
mirror
/
mirror-codeberg
mirror
/
mirror-sourcehut
mirror
/
mirror-disroot
mirror
/
mirror-gitea
mirror
/
mirror-radicle