Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91,160 workflow run results
91,160 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14337: completed by algebraic-dev
November 4, 2024 23:17 2m 15s
November 4, 2024 23:17 2m 15s
feat: add date and time functionality Check for stage0 changes #6083: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 33s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 33s
feat: add date and time functionality Check for copyright header #6028: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 29s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 29s
feat: add date and time functionality Check PR title for commit convention #11129: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 11s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 11s
feat: add date and time functionality Check for modules that should use `prelude` #5873: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 12s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 12s
feat: add date and time functionality Nix CI #20542: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 13m 19s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 13m 19s
feat: add date and time functionality CI #23759: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 23:02 14m 24s algebraic-dev:master
algebraic-dev:master
November 4, 2024 23:02 14m 24s
PR release PR release #14336: completed by algebraic-dev
November 4, 2024 22:37 2m 15s
November 4, 2024 22:37 2m 15s
feat: add date and time functionality Check for modules that should use `prelude` #5872: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 14s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 14s
feat: add date and time functionality Check for copyright header #6027: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 27s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 27s
feat: add date and time functionality Check for stage0 changes #6082: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 27s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 27s
feat: add date and time functionality CI #23758: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 16m 46s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 16m 46s
feat: add date and time functionality Nix CI #20541: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 14m 5s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 14m 5s
feat: add date and time functionality Check PR title for commit convention #11128: Pull request #4904 synchronize by algebraic-dev
November 4, 2024 22:20 1m 26s algebraic-dev:master
algebraic-dev:master
November 4, 2024 22:20 1m 26s
PR release PR release #14335: completed by github-merge-queue bot
November 4, 2024 22:08 2s
November 4, 2024 22:08 2s
fix: make all_goals admit goals on failure Backport #4929: Pull request #5934 closed by kmill
November 4, 2024 21:41 1m 22s
November 4, 2024 21:41 1m 22s
fix: make all_goals admit goals on failure (#5934) Update stage0 #2047: Commit a4d521c pushed by github-merge-queue bot
November 4, 2024 21:41 1m 45s master
master
November 4, 2024 21:41 1m 45s
fix: make all_goals admit goals on failure (#5934) Nix CI #20540: Commit a4d521c pushed by github-merge-queue bot
November 4, 2024 21:41 23m 23s master
master
November 4, 2024 21:41 23m 23s
fix: make all_goals admit goals on failure (#5934) CI #23757: Commit a4d521c pushed by github-merge-queue bot
November 4, 2024 21:41 27m 2s master
master
November 4, 2024 21:41 27m 2s
PR release PR release #14334: completed by kmill
November 4, 2024 21:40 2s
November 4, 2024 21:40 2s
fix: make all_goals admit goals on failure Label PR based on Comment #7824: Issue comment #5934 (comment) created by tobiasgrosser
November 4, 2024 21:14 2s
November 4, 2024 21:14 2s
chore: release notes for 4.13.0 Backport #4928: Pull request #5946 labeled by leanprover-community-bot
November 4, 2024 21:14 1s
November 4, 2024 21:14 1s
chore: release notes for 4.13.0 Restart by label #1622: Pull request #5946 labeled by leanprover-community-bot
November 4, 2024 21:14 1s
November 4, 2024 21:14 1s
chore: release notes for 4.13.0 Label PR based on Comment #7823: Issue comment #5946 (comment) created by leanprover-community-bot
November 4, 2024 21:14 2s
November 4, 2024 21:14 2s
CI CI #23756: Merge group checks requested
November 4, 2024 21:13 27m 39s
November 4, 2024 21:13 27m 39s