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
1,935 workflow run results
1,935 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: make server completion predicate not private Check PR title for commit convention #1864: Pull request #3377 synchronize by joehendrix
February 21, 2024 18:28 17s completion_predicate
completion_predicate
February 21, 2024 18:28 17s
chore: make server completion predicate not private Check PR title for commit convention #1863: Pull request #3377 synchronize by joehendrix
February 21, 2024 18:27 10s completion_predicate
completion_predicate
February 21, 2024 18:27 10s
fix: split libInit_shared out of libleanshared Check PR title for commit convention #1862: Pull request #3421 synchronize by Kha
February 21, 2024 18:07 14s Kha:split-dll
Kha:split-dll
February 21, 2024 18:07 14s
Check PR title for commit convention Check PR title for commit convention #1861: Merge group checks requested
February 21, 2024 18:03 11s
February 21, 2024 18:03 11s
fix: support for Fin and BitVec literal normalization Check PR title for commit convention #1860: Pull request #3443 opened by leodemoura
February 21, 2024 18:00 10s bv_fin_lit_norm
bv_fin_lit_norm
February 21, 2024 18:00 10s
fix: expression tree elaborator for relations now localizes error messages to the LHS or RHS Check PR title for commit convention #1859: Pull request #3442 synchronize by kmill
February 21, 2024 17:55 12s kmill:fix_binop_prop_err
kmill:fix_binop_prop_err
February 21, 2024 17:55 12s
fix: expression tree elaborator for relations now localizes error messages to the LHS or RHS Check PR title for commit convention #1858: Pull request #3442 opened by kmill
February 21, 2024 17:52 12s kmill:fix_binop_prop_err
kmill:fix_binop_prop_err
February 21, 2024 17:52 12s
feat: BitVec.ofNatLt and updates to use it Check PR title for commit convention #1857: Pull request #3430 synchronize by joehendrix
February 21, 2024 17:45 12s bitvec_ofNatLt
bitvec_ofNatLt
February 21, 2024 17:45 12s
feat: BitVec.ofNatLt and updates to use it Check PR title for commit convention #1856: Pull request #3430 synchronize by joehendrix
February 21, 2024 17:30 12s bitvec_ofNatLt
bitvec_ofNatLt
February 21, 2024 17:30 12s
feat: BitVec.ofNatLt and updates to use it Check PR title for commit convention #1855: Pull request #3430 synchronize by joehendrix
February 21, 2024 17:22 9s bitvec_ofNatLt
bitvec_ofNatLt
February 21, 2024 17:22 9s
feat: BitVec.ofNatLt and updates to use it Check PR title for commit convention #1854: Pull request #3430 synchronize by joehendrix
February 21, 2024 17:20 11s bitvec_ofNatLt
bitvec_ofNatLt
February 21, 2024 17:20 11s
Check PR title for commit convention Check PR title for commit convention #1853: Merge group checks requested
February 21, 2024 17:12 11s
February 21, 2024 17:12 11s
feat: snapshot trees and language processors Check PR title for commit convention #1852: Pull request #3014 synchronize by Kha
February 21, 2024 16:47 15s Kha:het-snaps
Kha:het-snaps
February 21, 2024 16:47 15s
feat: Int.toNat simproc Check PR title for commit convention #1851: Pull request #3440 opened by leodemoura
February 21, 2024 16:21 12s simproc_int_tonat
simproc_int_tonat
February 21, 2024 16:21 12s
feat: BitVec.ofNatLt and updates to use it Check PR title for commit convention #1850: Pull request #3430 synchronize by joehendrix
February 21, 2024 16:05 13s bitvec_ofNatLt
bitvec_ofNatLt
February 21, 2024 16:05 13s
fix: split libInit_shared out of libleanshared Check PR title for commit convention #1849: Pull request #3421 synchronize by Kha
February 21, 2024 15:13 9s Kha:split-dll
Kha:split-dll
February 21, 2024 15:13 9s
fix: split libInit_shared out of libleanshared Check PR title for commit convention #1848: Pull request #3421 synchronize by Kha
February 21, 2024 14:42 10s Kha:split-dll
Kha:split-dll
February 21, 2024 14:42 10s
Check PR title for commit convention Check PR title for commit convention #1847: Merge group checks requested
February 21, 2024 14:30 15s
February 21, 2024 14:30 15s
refactor: module MatcherApp.Transform Check PR title for commit convention #1846: Pull request #3439 synchronize by nomeata
February 21, 2024 13:38 11s joachim/matcherapp-transform
joachim/matcherapp-transform
February 21, 2024 13:38 11s
Check PR title for commit convention Check PR title for commit convention #1845: Merge group checks requested
February 21, 2024 13:37 13s
February 21, 2024 13:37 13s
refactor: module MatcherApp.Transform Check PR title for commit convention #1844: Pull request #3439 opened by nomeata
February 21, 2024 13:25 13s joachim/matcherapp-transform
joachim/matcherapp-transform
February 21, 2024 13:25 13s
feat: functional induction Check PR title for commit convention #1843: Pull request #3432 synchronize by nomeata
February 21, 2024 13:21 11s joachim/funind
joachim/funind
February 21, 2024 13:21 11s
chore: explicit DecidableEq instance for BitVec Check PR title for commit convention #1842: Pull request #3438 opened by leodemoura
February 21, 2024 13:14 12s bv_explicit_deceq_inst
bv_explicit_deceq_inst
February 21, 2024 13:14 12s
Check PR title for commit convention Check PR title for commit convention #1841: Merge group checks requested
February 21, 2024 13:14 11s
February 21, 2024 13:14 11s
Check PR title for commit convention Check PR title for commit convention #1840: Merge group checks requested
February 21, 2024 13:09 12s
February 21, 2024 13:09 12s