提交历史

作者 SHA1 备注 提交日期
  George Sapkin 9f6c16e722 formal: fix workflow permissions 1 月之前
  Christian Marangi 0fd3a6c6c6 CI: formal: use shared workflow in actions-shared-workflows 1 年之前
  Paul Spooren 2d4552a96c ci: no longer require real name 1 年之前
  Christian Marangi 87c69d73bb CI: bump actions/checkout action to v3 3 年之前
  Petr Štetiar 63ed733d30 ci: move scripts into separate directory 3 年之前
  Alex Low 7152599407 build: harden GitHub workflow permissions 3 年之前
  Paul Spooren fb5d0dc362 CI: allow dots in commit subject area 3 年之前
  Paul Spooren 3dc38823a2 CI: add formal checks 3 年之前