Are there files describing the I/O pin assignments for the Alchitry io board that I can import into Vivado? The example tutorial (External IO) uses UCF files which are not used by Vivado 2020and written for mojo board anyway.
Since this is specific to the software that is supported by Alchitry, themselves, I would post this question on their support forums: https://forum.alchitry.com/