将机器人迁移到 GitHub Actions

PDF.js 为测试专门提供了两个机器人,但这一切都是自定义的,需要手动维护。现在这个问题已经存在,因为这些机器人运行的是相当老的操作系统版本,缺少足够现代的 Python 3 版本,例如阻止了 `ttx` 的升级(参见 #11802)。