Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
237 workflow run results
237 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: test_extern command Check PR title for commit convention #112: Pull request #2970 synchronize by kim-em
December 2, 2023 00:36 12s test_extern
test_extern
December 2, 2023 00:36 12s
Check PR title for commit convention Check PR title for commit convention #111: Merge group checks requested
December 1, 2023 21:15 10s
December 1, 2023 21:15 10s
feat: allow EStateM to be used universe-polymorphically Check PR title for commit convention #110: Pull request #3010 synchronize by eric-wieser
December 1, 2023 21:13 10s eric-wieser:EStateM-universes
eric-wieser:EStateM-universes
December 1, 2023 21:13 10s
feat: allow EStateM to be used universe-polymorphically Check PR title for commit convention #109: Pull request #3010 edited by eric-wieser
December 1, 2023 21:03 10s eric-wieser:EStateM-universes
eric-wieser:EStateM-universes
December 1, 2023 21:03 10s
feat: allow EStateM to be used universe-polymorphically Check PR title for commit convention #108: Pull request #3010 edited by eric-wieser
December 1, 2023 21:03 10s eric-wieser:EStateM-universes
eric-wieser:EStateM-universes
December 1, 2023 21:03 10s
feat: allow EStateM to be used universe-polymorphically Check PR title for commit convention #107: Pull request #3010 edited by eric-wieser
December 1, 2023 20:56 12s eric-wieser:EStateM-universes
eric-wieser:EStateM-universes
December 1, 2023 20:56 12s
feat: allow EStateM to be used universe-polymorphically Check PR title for commit convention #106: Pull request #3010 opened by eric-wieser
December 1, 2023 20:43 14s eric-wieser:EStateM-universes
eric-wieser:EStateM-universes
December 1, 2023 20:43 14s
chore: run tests with full-ci Check PR title for commit convention #105: Pull request #3009 opened by nomeata
December 1, 2023 20:32 12s joachim/test-in-ci-full
joachim/test-in-ci-full
December 1, 2023 20:32 12s
feat: Implement extends flat Check PR title for commit convention #104: Pull request #2940 synchronize by eric-wieser
December 1, 2023 18:34 10s eric-wieser:add-flat-annotation
eric-wieser:add-flat-annotation
December 1, 2023 18:34 10s
chore: add vscode cmake configuration Check PR title for commit convention #103: Pull request #3008 edited by eric-wieser
December 1, 2023 18:02 13s eric-wieser:patch-7
eric-wieser:patch-7
December 1, 2023 18:02 13s
chore: add vscode cmake configuration Check PR title for commit convention #102: Pull request #3008 edited by eric-wieser
December 1, 2023 18:01 10s eric-wieser:patch-7
eric-wieser:patch-7
December 1, 2023 18:01 10s
chore: add vscode cmake configuration Check PR title for commit convention #101: Pull request #3008 edited by eric-wieser
December 1, 2023 18:01 13s eric-wieser:patch-7
eric-wieser:patch-7
December 1, 2023 18:01 13s
chore: add vscode cmake configuration Check PR title for commit convention #100: Pull request #3008 edited by eric-wieser
December 1, 2023 18:00 11s eric-wieser:patch-7
eric-wieser:patch-7
December 1, 2023 18:00 11s
chore: add vscode cmake configuration Check PR title for commit convention #99: Pull request #3008 opened by eric-wieser
December 1, 2023 18:00 10s eric-wieser:patch-7
eric-wieser:patch-7
December 1, 2023 18:00 10s
Check PR title for commit convention Check PR title for commit convention #98: Merge group checks requested
December 1, 2023 17:52 13s
December 1, 2023 17:52 13s
fix: GuessLex: deduplicate recursive calls Check PR title for commit convention #97: Pull request #3004 synchronize by nomeata
December 1, 2023 17:52 14s joachim/guesslex-dedup
joachim/guesslex-dedup
December 1, 2023 17:52 14s
Check PR title for commit convention Check PR title for commit convention #96: Merge group checks requested
December 1, 2023 17:29 12s
December 1, 2023 17:29 12s
test: expand tests/lean/issue2981.lean a bit Check PR title for commit convention #95: Pull request #3007 opened by nomeata
December 1, 2023 17:14 13s joachim/more-test-2981
joachim/more-test-2981
December 1, 2023 17:14 13s
feat: GuessLex: if no measure is found, explain why Check PR title for commit convention #94: Pull request #2960 edited by nomeata
December 1, 2023 15:49 10s joachim/guess-lex-verbose
joachim/guess-lex-verbose
December 1, 2023 15:49 10s
feat: GuessLex: if no measure is found, explain why Check PR title for commit convention #93: Pull request #2960 synchronize by nomeata
December 1, 2023 15:49 11s joachim/guess-lex-verbose
joachim/guess-lex-verbose
December 1, 2023 15:49 11s
feat: GuessLex: if no measure is found, explain why Check PR title for commit convention #92: Pull request #2960 edited by nomeata
December 1, 2023 15:48 11s joachim/guess-lex-verbose
joachim/guess-lex-verbose
December 1, 2023 15:48 11s
feat: GuessLex: if no measure is found, explain why Check PR title for commit convention #91: Pull request #2960 synchronize by nomeata
December 1, 2023 14:53 7m 0s joachim/guess-lex-verbose
joachim/guess-lex-verbose
December 1, 2023 14:53 7m 0s
Check PR title for commit convention Check PR title for commit convention #90: Merge group checks requested
December 1, 2023 14:48 1m 12s
December 1, 2023 14:48 1m 12s
Check PR title for commit convention Check PR title for commit convention #89: Merge group checks requested
December 1, 2023 14:46 13s
December 1, 2023 14:46 13s
feat: GuessLex: if no measure is found, explain why Check PR title for commit convention #88: Pull request #2960 synchronize by nomeata
December 1, 2023 14:45 10s joachim/guess-lex-verbose
joachim/guess-lex-verbose
December 1, 2023 14:45 10s