Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79,555 workflow run results
79,555 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: have autoparams report parameter/field on failure Check for stage0 changes #4711: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 37s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 37s
feat: have autoparams report parameter/field on failure Check for copyright header #4980: Pull request #5474 synchronize by kmill
September 27, 2024 18:39 31s kmill:fix_2950
kmill:fix_2950
September 27, 2024 18:39 31s
PR release PR release #12588: completed by tobiasgrosser
September 27, 2024 18:15 2s
September 27, 2024 18:15 2s
calc does not try to unify with expected type Label PR based on Comment #6951: Issue comment #2913 (comment) created by collares
September 27, 2024 18:10 2s
September 27, 2024 18:10 2s
PR release PR release #12587: completed by tobiasgrosser
September 27, 2024 18:08 3s
September 27, 2024 18:08 3s
feat: make getLsbD_eq_getElem a simp lemma Check for stage0 changes #4710: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 44s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 44s
feat: make getLsbD_eq_getElem a simp lemma Nix CI #18861: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 3m 4s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 3m 4s
feat: make getLsbD_eq_getElem a simp lemma Check for copyright header #4979: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 35s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 35s
feat: make getLsbD_eq_getElem a simp lemma CI #22035: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 8m 46s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 8m 46s
feat: make getLsbD_eq_getElem a simp lemma Check for modules that should use `prelude` #4824: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 16s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 16s
feat: make getLsbD_eq_getElem a simp lemma Check PR title for commit convention #9422: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:59 11s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:59 11s
chore: BitVec.Lemmas - drop non-terminal simps Check for modules that should use `prelude` #4823: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 1m 26s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 1m 26s
chore: BitVec.Lemmas - drop non-terminal simps Check for stage0 changes #4709: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 40s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 40s
chore: BitVec.Lemmas - drop non-terminal simps CI #22034: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 20m 30s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 20m 30s
chore: BitVec.Lemmas - drop non-terminal simps Nix CI #18860: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 8m 31s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 8m 31s
chore: BitVec.Lemmas - drop non-terminal simps Check for copyright header #4978: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 33s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 33s
chore: BitVec.Lemmas - drop non-terminal simps Check PR title for commit convention #9421: Pull request #5499 opened by tobiasgrosser
September 27, 2024 17:55 12s opencompl:bv_non-terminal-simps
opencompl:bv_non-terminal-simps
September 27, 2024 17:55 12s
PR release PR release #12586: completed by nomeata
September 27, 2024 17:46 3m 16s
September 27, 2024 17:46 3m 16s
PR release PR release #12585: completed by tobiasgrosser
September 27, 2024 17:43 1s
September 27, 2024 17:43 1s
PR release PR release #12584: completed by tobiasgrosser
September 27, 2024 17:34 2s
September 27, 2024 17:34 2s
feat: make getLsbD_eq_getElem a simp lemma CI #22033: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:33 9m 24s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:33 9m 24s
feat: make getLsbD_eq_getElem a simp lemma Nix CI #18859: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:33 2m 46s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:33 2m 46s
feat: make getLsbD_eq_getElem a simp lemma Check for modules that should use `prelude` #4822: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:33 12s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:33 12s
feat: make getLsbD_eq_getElem a simp lemma Check PR title for commit convention #9420: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:33 10s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:33 10s
feat: make getLsbD_eq_getElem a simp lemma Check for copyright header #4977: Pull request #5498 synchronize by tobiasgrosser
September 27, 2024 17:33 37s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
September 27, 2024 17:33 37s