Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27,579 workflow run results
27,579 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: fix linearity issue in insertIfNew Label PR based on Comment #3423: Issue comment #3881 (comment) created by hargoniX
April 11, 2024 12:36 1s
April 11, 2024 12:36 1s
perf: fix linearity issue in insertIfNew Check PR title for commit convention #3526: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 9s insertIf-linear
insertIf-linear
April 11, 2024 12:36 9s
perf: fix linearity issue in insertIfNew Check for modules that should use `prelude` #1001: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 15s insertIf-linear
insertIf-linear
April 11, 2024 12:36 15s
perf: fix linearity issue in insertIfNew Check for copyright header #1156: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 25s insertIf-linear
insertIf-linear
April 11, 2024 12:36 25s
perf: fix linearity issue in insertIfNew Nix CI #12500: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 13m 27s insertIf-linear
insertIf-linear
April 11, 2024 12:36 13m 27s
perf: fix linearity issue in insertIfNew CI #15490: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 15m 21s insertIf-linear
insertIf-linear
April 11, 2024 12:36 15m 21s
feat: add BitVec Int add & mul lemmas Check for copyright header #1155: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 27s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 27s
feat: add BitVec Int add & mul lemmas Nix CI #12499: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 2m 51s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 2m 51s
feat: add BitVec Int add & mul lemmas Check PR title for commit convention #3525: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 15s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 15s
feat: add BitVec Int add & mul lemmas Check for modules that should use `prelude` #1000: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 16s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 16s
feat: add BitVec Int add & mul lemmas CI #15489: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 15m 53s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 15m 53s
PR release PR release #5849: completed by joehendrix
April 11, 2024 12:23 2m 41s
April 11, 2024 12:23 2m 41s
PR release PR release #5848: completed by kmill
April 11, 2024 12:18 2m 23s
April 11, 2024 12:18 2m 23s
feat: add BitVec Int add & mul lemmas Label PR based on Comment #3422: Issue comment #3880 (comment) created by digama0
April 11, 2024 12:14 3s
April 11, 2024 12:14 3s
doc: describe all simp configuration options Label PR based on Comment #3421: Issue comment #3870 (comment) created by kmill
April 11, 2024 12:11 3s
April 11, 2024 12:11 3s
feat: add BitVec Int add & mul lemmas Check PR title for commit convention #3524: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 18s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 18s
feat: add BitVec Int add & mul lemmas Check for modules that should use `prelude` #999: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 19s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 19s
feat: add BitVec Int add & mul lemmas Check for copyright header #1154: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 30s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 30s
feat: add BitVec Int add & mul lemmas Nix CI #12498: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 13m 21s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 13m 21s
feat: add BitVec Int add & mul lemmas CI #15488: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 14m 55s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 14m 55s
doc: describe all simp configuration options Nix CI #12497: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 14m 23s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 14m 23s
doc: describe all simp configuration options CI #15487: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 15m 2s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 15m 2s
doc: describe all simp configuration options Check for copyright header #1153: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 36s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 36s
doc: describe all simp configuration options Check PR title for commit convention #3523: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 13s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 13s
doc: describe all simp configuration options Check for modules that should use `prelude` #998: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 16s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 16s