Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96,481 workflow run results
96,481 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #15271: completed by github-merge-queue bot
November 21, 2024 23:57 1s
November 21, 2024 23:57 1s
PR release PR release #15270: completed by github-merge-queue bot
November 21, 2024 23:30 2s
November 21, 2024 23:30 2s
feat: display coercions with a type ascription Backport #5349: Pull request #6119 closed by kmill
November 21, 2024 23:30 10s
November 21, 2024 23:30 10s
feat: display coercions with a type ascription (#6119) Nix CI #21432: Commit 9903169 pushed by github-merge-queue bot
November 21, 2024 23:30 14m 39s master
master
November 21, 2024 23:30 14m 39s
feat: display coercions with a type ascription (#6119) CI #24673: Commit 9903169 pushed by github-merge-queue bot
November 21, 2024 23:30 26m 53s master
master
November 21, 2024 23:30 26m 53s
PR release PR release #15269: completed by kmill
November 21, 2024 23:30 2s
November 21, 2024 23:30 2s
feat: display coercions with a type ascription (#6119) Update stage0 #2203: Commit 9903169 pushed by github-merge-queue bot
November 21, 2024 23:30 31s master
master
November 21, 2024 23:30 31s
fix: revert creates natural metavariable goal Backport #5348: Pull request #6145 closed by kmill
November 21, 2024 23:28 14s
November 21, 2024 23:28 14s
fix: revert creates natural metavariable goal (#6145) Update stage0 #2202: Commit b7248d5 pushed by github-merge-queue bot
November 21, 2024 23:28 30s master
master
November 21, 2024 23:28 30s
fix: revert creates natural metavariable goal (#6145) Nix CI #21431: Commit b7248d5 pushed by github-merge-queue bot
November 21, 2024 23:28 1m 35s master
master
November 21, 2024 23:28 1m 35s
fix: revert creates natural metavariable goal (#6145) CI #24672: Commit b7248d5 pushed by github-merge-queue bot
November 21, 2024 23:28 1m 45s master
master
November 21, 2024 23:28 1m 45s
PR release PR release #15268: completed by kmill
November 21, 2024 23:28 1s
November 21, 2024 23:28 1s
feat: parity between structure instance notation and where notation Label PR based on Comment #8307: Issue comment #6165 (comment) created by leanprover-community-bot
November 21, 2024 23:22 2s
November 21, 2024 23:22 2s
feat: parity between structure instance notation and where notation Backport #5347: Pull request #6165 labeled by leanprover-community-bot
November 21, 2024 23:21 3s
November 21, 2024 23:21 3s
feat: parity between structure instance notation and where notation Restart by label #1901: Pull request #6165 labeled by leanprover-community-bot
November 21, 2024 23:21 3s
November 21, 2024 23:21 3s
feat: parity between structure instance notation and where notation Check PR body for changelog convention #875: Pull request #6165 labeled by leanprover-community-bot
November 21, 2024 23:21 13s kmill:struct_inst_field_args
kmill:struct_inst_field_args
November 21, 2024 23:21 13s
PR release PR release #15267: completed by kmill
November 21, 2024 23:15 4m 22s
November 21, 2024 23:15 4m 22s
PR release PR release #15266: completed by github-merge-queue bot
November 21, 2024 23:08 2s
November 21, 2024 23:08 2s
Actionlint Actionlint #2833: Merge group checks requested
November 21, 2024 23:03 32s
November 21, 2024 23:03 32s
Nix CI Nix CI #21430: Merge group checks requested
November 21, 2024 23:03 14m 26s
November 21, 2024 23:03 14m 26s
CI CI #24671: Merge group checks requested
November 21, 2024 23:03 27m 2s
November 21, 2024 23:03 27m 2s
Check PR title for commit convention Check PR title for commit convention #12018: Merge group checks requested
November 21, 2024 23:03 11s
November 21, 2024 23:03 11s
Check PR body for changelog convention Check PR body for changelog convention #874: Merge group checks requested
November 21, 2024 23:03 9s
November 21, 2024 23:03 9s
Check for stage0 changes Check for stage0 changes #6818: Merge group checks requested
November 21, 2024 23:03 43s
November 21, 2024 23:03 43s
Check PR title for commit convention Check PR title for commit convention #12017: Merge group checks requested
November 21, 2024 23:01 10s
November 21, 2024 23:01 10s