Mirror to Git Forges

docs: import thesis guides and tropical session types from Desktop st… #42

Sign in to view logs

Triggered via push April 10, 2026 22:33

main

Status Skipped

Total duration 1s

Artifacts –

mirror.yml

on: push

mirror-bitbucket

mirror-codeberg

mirror-sourcehut