Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106,830 workflow runs
106,830 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Actionlint Actionlint #2994: Merge group checks requested
December 11, 2024 04:10 36s
December 11, 2024 04:10 36s
Check PR title for commit convention Check PR title for commit convention #12840: Merge group checks requested
December 11, 2024 04:10 11s
December 11, 2024 04:10 11s
Check for stage0 changes Check for stage0 changes #7481: Merge group checks requested
December 11, 2024 04:10 41s
December 11, 2024 04:10 41s
Nix CI Nix CI #22238: Merge group checks requested
December 11, 2024 04:10 13m 54s
December 11, 2024 04:10 13m 54s
Check PR body for changelog convention Check PR body for changelog convention #2001: Merge group checks requested
December 11, 2024 04:10 8s
December 11, 2024 04:10 8s
CI CI #25500: Merge group checks requested
December 11, 2024 04:10 24m 56s
December 11, 2024 04:10 24m 56s
feat: lemmas about indexing and membership for Vector Label PR based on Comment #8694: Issue comment #6367 (comment) created by leanprover-community-bot
December 11, 2024 03:55 2s
December 11, 2024 03:55 2s
Nix CI Nix CI #22237: Merge group checks requested
December 11, 2024 03:52 13m 10s
December 11, 2024 03:52 13m 10s
Check PR title for commit convention Check PR title for commit convention #12839: Merge group checks requested
December 11, 2024 03:52 9s
December 11, 2024 03:52 9s
Check PR body for changelog convention Check PR body for changelog convention #2000: Merge group checks requested
December 11, 2024 03:52 9s
December 11, 2024 03:52 9s
Check for stage0 changes Check for stage0 changes #7480: Merge group checks requested
December 11, 2024 03:52 36s
December 11, 2024 03:52 36s
Actionlint Actionlint #2993: Merge group checks requested
December 11, 2024 03:52 37s
December 11, 2024 03:52 37s
CI CI #25499: Merge group checks requested
December 11, 2024 03:52 23m 52s
December 11, 2024 03:52 23m 52s
PR release PR release #16114: completed by kim-em
December 11, 2024 03:52 3m 49s
December 11, 2024 03:52 3m 49s
PR release PR release #16113: completed by github-merge-queue bot
December 11, 2024 03:44 2s
December 11, 2024 03:44 2s
feat: lemmas about indexing and membership for Vector Check PR body for changelog convention #1999: Pull request #6367 labeled by kim-em
December 11, 2024 03:32 11s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 11s
feat: lemmas about indexing and membership for Vector Check PR title for commit convention #12838: Pull request #6367 opened by kim-em
December 11, 2024 03:32 10s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 10s
feat: lemmas about indexing and membership for Vector Check for copyright header #7071: Pull request #6367 opened by kim-em
December 11, 2024 03:32 37s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 37s
feat: lemmas about indexing and membership for Vector Check for stage0 changes #7479: Pull request #6367 opened by kim-em
December 11, 2024 03:32 43s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 43s
feat: lemmas about indexing and membership for Vector Check PR body for changelog convention #1998: Pull request #6367 opened by kim-em
December 11, 2024 03:32 9s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 9s
feat: lemmas about indexing and membership for Vector Nix CI #22236: Pull request #6367 opened by kim-em
December 11, 2024 03:32 13m 25s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 13m 25s
feat: lemmas about indexing and membership for Vector Check for modules that should use `prelude` #6916: Pull request #6367 opened by kim-em
December 11, 2024 03:32 15s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 15s
feat: lemmas about indexing and membership for Vector CI #25498: Pull request #6367 opened by kim-em
December 11, 2024 03:32 19m 9s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 19m 9s
feat: lemmas about indexing and membership for Vector Restart by label #2208: Pull request #6367 labeled by kim-em
December 11, 2024 03:32 2s
December 11, 2024 03:32 2s
feat: lemmas about indexing and membership for Vector Backport #5761: Pull request #6367 labeled by kim-em
December 11, 2024 03:32 3s
December 11, 2024 03:32 3s