Skip to content

Actions: leanprover/lean4

Actions

Check for empty PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-empty-pr.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: lake: separate leanir job Check for empty PR #6650: Pull request #14906 synchronize by tydeu
1m 39s tydeu:lake/ir-arts
tydeu:lake/ir-arts
1m 39s
feat: add lake check to check a project against external checkers Check for empty PR #6649: Pull request #14990 opened by Kha
42s lake-check-cmd
lake-check-cmd
42s
fix: expose Array.ofFn for kernel reduction Check for empty PR #6648: Pull request #14989 opened by kim-em
46s kim-em:expose-array-offn
kim-em:expose-array-offn
46s
fix: expose Vector DecidableEq for kernel reduction Check for empty PR #6647: Pull request #14988 opened by kim-em
45s kim-em:expose-vector-decidableeq
kim-em:expose-vector-decidableeq
45s
fix: expose Array equality for kernel reduction Check for empty PR #6646: Pull request #14270 synchronize by kim-em
52s kim-em:expose-array-instdecidableeqimpl
kim-em:expose-array-instdecidableeqimpl
52s
feat: add cslib package template Check for empty PR #6645: Pull request #12679 synchronize by Shreyas4991
53s Shreyas4991:cslib_template
Shreyas4991:cslib_template
53s
feat: introduce Std.Internal.SSL.Context Check for empty PR #6644: Pull request #14064 synchronize by algebraic-dev
43s sofia/openssl-socket-context
sofia/openssl-socket-context
43s
Check for empty PR Check for empty PR #6643: Merge group checks requested
51s
51s
doc: fix typo in the doc example of List.lex Check for empty PR #6642: Pull request #14987 opened by ia0
49s ia0:typo-lex
ia0:typo-lex
49s
feat: add cslib package template Check for empty PR #6641: Pull request #12679 synchronize by Shreyas4991
1m 8s Shreyas4991:cslib_template
Shreyas4991:cslib_template
1m 8s
feat: introduce Std.Internal.SSL.Context Check for empty PR #6640: Pull request #14064 synchronize by algebraic-dev
42s sofia/openssl-socket-context
sofia/openssl-socket-context
42s
chore: update to mimalloc 3.5.0 Check for empty PR #6639: Pull request #14866 synchronize by Kha
2m 11s push-wqzmyzslmnuu
push-wqzmyzslmnuu
2m 11s
chore: update to mimalloc 3.5.0 Check for empty PR #6638: Pull request #14866 synchronize by Kha
1m 13s push-wqzmyzslmnuu
push-wqzmyzslmnuu
1m 13s
feat: make Nat.strongRecOn and Nat.caseStrongRecOn computable Check for empty PR #6637: Pull request #12894 synchronize by Parcly-Taxel
48s Parcly-Taxel:computable-strong-induction
Parcly-Taxel:computable-strong-induction
48s
chore: update actions/checkout in lake new template Check for empty PR #6636: Pull request #14984 opened by kt3k
53s kt3k:lake-init-update-checkout-actions
kt3k:lake-init-update-checkout-actions
53s
feat: exprDependsOn follows delayed assignments Check for empty PR #6635: Pull request #2484 synchronize by kim-em
44s kim-em:exprDependsOn
kim-em:exprDependsOn
44s
perf: cache the elaboration of section variables across commands Check for empty PR #6634: Pull request #14983 opened by marcelolynch
2m 13s marcelolynch:sectionvars-cache-v2
marcelolynch:sectionvars-cache-v2
2m 13s
feat: always record per-declaration heartbeat costs Check for empty PR #6633: Pull request #14712 synchronize by dennj
2m 15s Latinum-Formal-Methods:heartbeat-sidecar
Latinum-Formal-Methods:heartbeat-sidecar
2m 15s
feat: always record per-declaration heartbeat costs Check for empty PR #6632: Pull request #14712 synchronize by dennj
2m 20s Latinum-Formal-Methods:heartbeat-sidecar
Latinum-Formal-Methods:heartbeat-sidecar
2m 20s
feat: introduce Std.Internal.SSL.Context Check for empty PR #6631: Pull request #14064 synchronize by algebraic-dev
46s sofia/openssl-socket-context
sofia/openssl-socket-context
46s
feat: introduce Std.Internal.SSL.Context Check for empty PR #6630: Pull request #14064 synchronize by algebraic-dev
2m 26s sofia/openssl-socket-context
sofia/openssl-socket-context
2m 26s
perf: cache elaboration of section variables across commands Check for empty PR #6629: Pull request #14595 synchronize by marcelolynch
2m 17s marcelolynch:sectionvars-cache-pr
marcelolynch:sectionvars-cache-pr
2m 17s
feat: lake: separate leanir job Check for empty PR #6628: Pull request #14906 synchronize by tydeu
2m 32s tydeu:lake/ir-arts
tydeu:lake/ir-arts
2m 32s
feat: add Html type Check for empty PR #6627: Pull request #14935 synchronize by Vtec234
2m 11s html-type
html-type
2m 11s
feat: introduce Std.Internal.SSL.Context Check for empty PR #6626: Pull request #14064 synchronize by algebraic-dev
2m 23s sofia/openssl-socket-context
sofia/openssl-socket-context
2m 23s