Skip to content

Actions: leanprover/reference-manual

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: coercions Check PR title for commit convention #398: Pull request #287 synchronize by david-christiansen
February 7, 2025 06:31 10s coercions
coercions
February 7, 2025 06:31 10s
feat: coercions Check PR title for commit convention #397: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:24 11s coercions
coercions
February 7, 2025 05:24 11s
feat: coercions Check PR title for commit convention #396: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:18 12s coercions
coercions
February 7, 2025 05:18 12s
feat: coercions Check PR title for commit convention #395: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:56 15s coercions
coercions
February 6, 2025 15:56 15s
feat: coercions Check PR title for commit convention #394: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:46 10s coercions
coercions
February 6, 2025 15:46 10s
chore: bump to latest nightly and Verso Check PR title for commit convention #393: Pull request #290 opened by david-christiansen
February 6, 2025 15:45 10s bump-2024-02-06
bump-2024-02-06
February 6, 2025 15:45 10s
feat: coercions Check PR title for commit convention #392: Pull request #287 synchronize by david-christiansen
February 6, 2025 13:05 11s coercions
coercions
February 6, 2025 13:05 11s
feat: coercions Check PR title for commit convention #391: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:35 14s coercions
coercions
February 5, 2025 22:35 14s
feat: coercions Check PR title for commit convention #390: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:29 11s coercions
coercions
February 5, 2025 22:29 11s
feat: coercions Check PR title for commit convention #389: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:14 15s coercions
coercions
February 5, 2025 22:14 15s
feat: coercions Check PR title for commit convention #388: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:02 11s coercions
coercions
February 5, 2025 22:02 11s
feat: coercions Check PR title for commit convention #387: Pull request #287 synchronize by david-christiansen
February 5, 2025 21:45 11s coercions
coercions
February 5, 2025 21:45 11s
feat: coercions Check PR title for commit convention #386: Pull request #287 synchronize by david-christiansen
February 5, 2025 21:14 14s coercions
coercions
February 5, 2025 21:14 14s
feat: coercions Check PR title for commit convention #385: Pull request #287 synchronize by david-christiansen
February 5, 2025 20:13 14s coercions
coercions
February 5, 2025 20:13 14s
feat: coercions Check PR title for commit convention #384: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:42 11s coercions
coercions
February 5, 2025 19:42 11s
feat: coercions Check PR title for commit convention #383: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:38 9s coercions
coercions
February 5, 2025 19:38 9s
feat: coercions Check PR title for commit convention #382: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:33 14s coercions
coercions
February 5, 2025 19:33 14s
feat: coercions Check PR title for commit convention #381: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:25 12s coercions
coercions
February 5, 2025 19:25 12s
feat: coercions Check PR title for commit convention #380: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:18 10s coercions
coercions
February 5, 2025 19:18 10s
feat: coercions Check PR title for commit convention #379: Pull request #287 synchronize by david-christiansen
February 5, 2025 19:06 15s coercions
coercions
February 5, 2025 19:06 15s
feat: coercions Check PR title for commit convention #378: Pull request #287 edited by david-christiansen
February 5, 2025 16:24 15s coercions
coercions
February 5, 2025 16:24 15s
feat: coercions Check PR title for commit convention #377: Pull request #287 opened by david-christiansen
February 5, 2025 16:23 11s coercions
coercions
February 5, 2025 16:23 11s
feat: interactive commands Check PR title for commit convention #376: Pull request #282 synchronize by david-christiansen
February 4, 2025 08:27 13s interactive-commands
interactive-commands
February 4, 2025 08:27 13s
feat: interactive commands Check PR title for commit convention #375: Pull request #282 synchronize by david-christiansen
February 4, 2025 06:20 11s interactive-commands
interactive-commands
February 4, 2025 06:20 11s
feat: interactive commands Check PR title for commit convention #374: Pull request #282 synchronize by david-christiansen
February 4, 2025 05:08 12s interactive-commands
interactive-commands
February 4, 2025 05:08 12s