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

Proving length of large array by rfl hangs Label PR based on Comment #6958: Issue comment #5502 (comment) created by kmill
September 27, 2024 23:34 2s
September 27, 2024 23:34 2s
How to split your project into multiple files isn't listed on lean4 docs Label PR based on Comment #6957: Issue comment #1174 (comment) created by Seppel3210
September 27, 2024 22:10 2s
September 27, 2024 22:10 2s
Compilation with MonadLog for a StateT is surprisingly slow Label PR based on Comment #6956: Issue comment #5457 (comment) created by alexkeizer
September 27, 2024 22:04 2s
September 27, 2024 22:04 2s
fix: ensure instantiateMVarsProfiling adds a trace node Label PR based on Comment #6955: Issue comment #5501 (comment) created by leanprover-community-bot
September 27, 2024 21:52 2s
September 27, 2024 21:52 2s
PR release PR release #12598: completed by alexkeizer
September 27, 2024 21:49 3m 24s
September 27, 2024 21:49 3m 24s
fix: ensure instantiateMVarsProfiling adds a trace node Check PR title for commit convention #9433: Pull request #5501 edited by alexkeizer
September 27, 2024 21:34 12s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:34 12s
Label PR based on Comment Label PR based on Comment #6954: created by alexkeizer
September 27, 2024 21:33 1s
September 27, 2024 21:33 1s
fix: ensure instantiateMVarsProfiling adds a trace node Nix CI #18871: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 9m 35s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 9m 35s
fix: ensure instantiateMVarsProfiling adds a trace node Check PR title for commit convention #9432: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 11s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 11s
fix: ensure instantiateMVarsProfiling adds a trace node Check for modules that should use `prelude` #4829: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 16s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 16s
fix: ensure instantiateMVarsProfiling adds a trace node Check for copyright header #4984: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 33s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 33s
fix: ensure instantiateMVarsProfiling adds a trace node Check for stage0 changes #4718: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 38s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 38s
fix: ensure instantiateMVarsProfiling adds a trace node CI #22045: Pull request #5501 opened by alexkeizer
September 27, 2024 21:32 16m 58s opencompl:fix-elabdef-time-leak
opencompl:fix-elabdef-time-leak
September 27, 2024 21:32 16m 58s
RFC: Named arguments should not make explicit arguments implicit except for structure parameters Label PR based on Comment #6953: Issue comment #5397 (comment) created by kmill
September 27, 2024 21:05 2s
September 27, 2024 21:05 2s
RFC: Named arguments should not make explicit arguments implicit except for structure parameters Jira sync #134: Issue #5397 closed by kmill
September 27, 2024 21:05 11s
September 27, 2024 21:05 11s
PR release PR release #12597: completed by github-merge-queue bot
September 27, 2024 21:01 2s
September 27, 2024 21:01 2s
Git conflict experiment Label PR based on Comment #6952: Issue comment #5500 (comment) created by leanprover-community-bot
September 27, 2024 20:50 2s
September 27, 2024 20:50 2s
Git conflict experiment Restart by label #1295: Pull request #5500 labeled by leanprover-community-bot
September 27, 2024 20:50 2s
September 27, 2024 20:50 2s
Git conflict experiment Backport #4349: Pull request #5500 labeled by leanprover-community-bot
September 27, 2024 20:50 2s
September 27, 2024 20:50 2s
fix: refine how named arguments suppress explicit arguments Backport #4348: Pull request #5283 closed by kmill
September 27, 2024 20:39 10s
September 27, 2024 20:39 10s
fix: refine how named arguments suppress explicit arguments (#5283) Update stage0 #1738: Commit 9f4075b pushed by github-merge-queue bot
September 27, 2024 20:39 32s master
master
September 27, 2024 20:39 32s
fix: refine how named arguments suppress explicit arguments (#5283) CI #22044: Commit 9f4075b pushed by github-merge-queue bot
September 27, 2024 20:39 22m 36s master
master
September 27, 2024 20:39 22m 36s
fix: refine how named arguments suppress explicit arguments (#5283) Nix CI #18870: Commit 9f4075b pushed by github-merge-queue bot
September 27, 2024 20:39 7m 56s master
master
September 27, 2024 20:39 7m 56s
PR release PR release #12596: completed by kmill
September 27, 2024 20:38 2s
September 27, 2024 20:38 2s
CI CI #22043: Merge group checks requested
September 27, 2024 20:14 24m 9s
September 27, 2024 20:14 24m 9s