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
12,949 workflow run results
12,949 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: revertAll must clear auxiliary declarations Check PR title for commit convention #12957: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 11s issue_6263
issue_6263
December 14, 2024 23:40 11s
Check PR title for commit convention Check PR title for commit convention #12956: Merge group checks requested
December 14, 2024 23:13 12s
December 14, 2024 23:13 12s
fix: simp_all? local declarations Check PR title for commit convention #12955: Pull request #6385 opened by leodemoura
December 14, 2024 22:54 9s issue_3519
issue_3519
December 14, 2024 22:54 9s
Check PR title for commit convention Check PR title for commit convention #12954: Merge group checks requested
December 14, 2024 22:12 8s
December 14, 2024 22:12 8s
feat: replace List.lt with List.Lex Check PR title for commit convention #12953: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 9s lex_prime
lex_prime
December 14, 2024 22:07 9s
test: add test for issue #4585 Check PR title for commit convention #12952: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 11s issue_4585
issue_4585
December 14, 2024 21:53 11s
Check PR title for commit convention Check PR title for commit convention #12951: Merge group checks requested
December 14, 2024 20:26 8s
December 14, 2024 20:26 8s
fix: new code generator must generate code for opaque declarations that are not @[extern] Check PR title for commit convention #12950: Pull request #6383 opened by leodemoura
December 14, 2024 20:06 13s hasValueBug
hasValueBug
December 14, 2024 20:06 13s
chore: add gitpod configuration Check PR title for commit convention #12949: Pull request #6382 edited by eric-wieser
December 14, 2024 19:06 9s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:06 9s
chore: add gitpod configuration Check PR title for commit convention #12948: Pull request #6382 edited by eric-wieser
December 14, 2024 19:06 59s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:06 59s
chore: add gitpod configuration Check PR title for commit convention #12947: Pull request #6382 edited by eric-wieser
December 14, 2024 19:05 11s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:05 11s
chore: add gitpod configuration Check PR title for commit convention #12946: Pull request #6382 synchronize by eric-wieser
December 14, 2024 19:04 9s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:04 9s
chore: add gitpod configuration Check PR title for commit convention #12945: Pull request #6382 edited by eric-wieser
December 14, 2024 19:00 11s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:00 11s
chore: add gitpod configuration Check PR title for commit convention #12944: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:51 11s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:51 11s
chore: add gitpod configuration Check PR title for commit convention #12943: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:44 12s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:44 12s
chore: add gitpod configuration Check PR title for commit convention #12942: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:36 17s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:36 17s
chore: add gitpod configuration Check PR title for commit convention #12941: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:27 7s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:27 7s
Check PR title for commit convention Check PR title for commit convention #12940: Merge group checks requested
December 14, 2024 18:23 10s
December 14, 2024 18:23 10s
chore: add gitpod configuration Check PR title for commit convention #12939: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:19 10s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:19 10s
chore: add gitpod configuration Check PR title for commit convention #12938: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:18 14s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:18 14s
chore: add gitpod configuration Check PR title for commit convention #12937: Pull request #6382 opened by eric-wieser
December 14, 2024 18:18 13s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:18 13s
fix: withTrackingZetaDelta must reset cache Check PR title for commit convention #12936: Pull request #6381 opened by leodemoura
December 14, 2024 18:04 14s trackZetaDeltaIssue
trackZetaDeltaIssue
December 14, 2024 18:04 14s
feat: partial_fixpoint: partial functions with equations Check PR title for commit convention #12935: Pull request #6355 synchronize by nomeata
December 14, 2024 17:07 12s joachim/tailrec
joachim/tailrec
December 14, 2024 17:07 12s
feat: partial_fixpoint: partial functions with equations Check PR title for commit convention #12934: Pull request #6355 synchronize by nomeata
December 14, 2024 12:32 10s joachim/tailrec
joachim/tailrec
December 14, 2024 12:32 10s
feat: partial_fixpoint: partial functions with equations Check PR title for commit convention #12933: Pull request #6355 synchronize by nomeata
December 14, 2024 12:18 9s joachim/tailrec
joachim/tailrec
December 14, 2024 12:18 9s