Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87,212 workflow run results
87,212 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #13642: completed by kmill
October 19, 2024 23:45 3m 52s
October 19, 2024 23:45 3m 52s
PR release PR release #13641: completed by alexkeizer
October 19, 2024 23:40 4m 39s
October 19, 2024 23:40 4m 39s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData Nix CI #19873: Pull request #5779 opened by kmill
October 19, 2024 23:28 14m 52s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 14m 52s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData CI #23074: Pull request #5779 opened by kmill
October 19, 2024 23:28 17m 34s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 17m 34s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData Check PR title for commit convention #10440: Pull request #5779 opened by kmill
October 19, 2024 23:28 11s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 11s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData Check for modules that should use `prelude` #5453: Pull request #5779 opened by kmill
October 19, 2024 23:28 16s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 16s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData Check for copyright header #5608: Pull request #5779 opened by kmill
October 19, 2024 23:28 26s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 26s
feat: make MessageData.ofConstName be the default coercion from Name to MessageData Check for stage0 changes #5538: Pull request #5779 opened by kmill
October 19, 2024 23:28 30s kmill:messagedata_name
kmill:messagedata_name
October 19, 2024 23:28 30s
feat: update toolchain on lake update Backport #4698: Pull request #5684 labeled by tydeu
October 19, 2024 23:22 1s
October 19, 2024 23:22 1s
feat: update toolchain on lake update Restart by label #1486: Pull request #5684 labeled by tydeu
October 19, 2024 23:22 48s
October 19, 2024 23:22 48s
feat: prove that intMin is indeed the smallest signed bitvector Nix CI #19872: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 18m 56s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 18m 56s
feat: prove that intMin is indeed the smallest signed bitvector Check PR title for commit convention #10439: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 11s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 11s
feat: prove that intMin is indeed the smallest signed bitvector Check for modules that should use `prelude` #5452: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 12s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 12s
feat: prove that intMin is indeed the smallest signed bitvector Check for stage0 changes #5537: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 27s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 27s
feat: prove that intMin is indeed the smallest signed bitvector Check for copyright header #5607: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 22s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 22s
feat: prove that intMin is indeed the smallest signed bitvector CI #23073: Pull request #5778 opened by alexkeizer
October 19, 2024 23:22 17m 39s opencompl:toInt_intMin_le
opencompl:toInt_intMin_le
October 19, 2024 23:22 17m 39s
PR release PR release #13640: completed by tydeu
October 19, 2024 22:40 2m 39s
October 19, 2024 22:40 2m 39s
feat: update toolchain on lake update Nix CI #19871: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 17m 39s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 17m 39s
feat: update toolchain on lake update Check PR title for commit convention #10438: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 10s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 10s
feat: update toolchain on lake update Check for modules that should use `prelude` #5451: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 13s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 13s
feat: update toolchain on lake update Check for copyright header #5606: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 23s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 23s
feat: update toolchain on lake update Check for stage0 changes #5536: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 31s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 31s
feat: update toolchain on lake update CI #23072: Pull request #5684 synchronize by tydeu
October 19, 2024 22:27 55m 37s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 19, 2024 22:27 55m 37s
PR release PR release #13639: completed by alexkeizer
October 19, 2024 22:21 2s
October 19, 2024 22:21 2s
PR release PR release #13638: completed by alexkeizer
October 19, 2024 22:12 2s
October 19, 2024 22:12 2s