back interdiff of round #1 and #0

ci: fix github push workflow #67

merged

opened by

a.starrysky.fyi 2 months ago targeting main from private/minion/push-rkptvmqpotvr

There were various problems with it before - it was only really half-modified from the tangled.yml workflow we had over on GitHub!

It now works and has been tested to put up a branch with a test push

options

unified split

files

.tangled

workflows

github.yml

ERROR

.tangled/workflows/github.yml

Failed to calculate interdiff for this file.