8000 Workflow runs · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159,078 workflow runs
159,078 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR title for commit convention Check PR title for commit convention #20801: Merge group checks requested
May 8, 2025 15:34 8s
May 8, 2025 15:34 8s
CI CI #34122: Merge group checks requested
May 8, 2025 15:34 In progress
May 8, 2025 15:34 In progress
Check for stage0 changes Check for stage0 changes #14435: Merge group checks requested
May 8, 2025 15:34 49s
May 8, 2025 15:34 49s
Actionlint Actionlint #4809: Merge group checks requested
May 8, 2025 15:34 53s
May 8, 2025 15:34 53s
Check awaiting-mathlib label Check awaiting-mathlib label #3673: Merge group checks requested
May 8, 2025 15:34 9s
May 8, 2025 15:34 9s
Nix CI Nix CI #30716: Merge group checks requested
May 8, 2025 15:34 In progress
May 8, 2025 15:34 In progress
Check PR body for changelog convention Check PR body for changelog convention #12530: Merge group checks requested
May 8, 2025 15:34 8s
May 8, 2025 15:34 8s
chore: improve application type mismatch error message Restart by label #4748: Pull request #8264 labeled by leanprover-community-bot
May 8, 2025 15:33 3s
May 8, 2025 15:33 3s
chore: improve application type mismatch error message Backport #9584: Pull request #8264 labeled by leanprover-community-bot
May 8, 2025 15:33 3s
May 8, 2025 15:33 3s
chore: improve application type mismatch error message Check awaiting-mathlib label #3672: Pull request #8264 labeled by leanprover-community-bot
May 8, 2025 15:33 13s marcmarkus/application-type-mismatch
marcmarkus/application-type-mismatch
May 8, 2025 15:33 13s
chore: improve application type mismatch error message Check PR body for changelog convention #12529: Pull request #8264 labeled by leanprover-community-bot
May 8, 2025 15:33 10s marcmarkus/application-type-mismatch
marcmarkus/application-type-mismatch
May 8, 2025 15:33 10s
chore: improve application type mismatch error message Check awaiting-mathlib label #3671: Pull request #8264 unlabeled by leanprover-community-bot
May 8, 2025 15:33 13s marcmarkus/application-type-mismatch
marcmarkus/application-type-mismatch
May 8, 2025 15:33 13s
chore: improve application type mismatch error message Restart by label #4747: Pull request #8264 unlabeled by leanprover-community-bot
May 8, 2025 15:33 2s
May 8, 2025 15:33 2s
feat: guard_msgs to treat trace messages separate Label PR based on Comment #12307: Issue comment #8267 (comment) created by nomeata
May 8, 2025 15:29 2s
May 8, 2025 15:29 2s
feat: guard_msgs to treat trace messages separate Check for stage0 changes #14434: Pull request #8267 opened by nomeata
May 8, 2025 15:29 55s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 55s
feat: guard_msgs to treat trace messages separate Nix CI #30715: Pull request #8267 opened by nomeata
May 8, 2025 15:29 In progress joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 In progress
feat: guard_msgs to treat trace messages separate CI #34121: Pull request #8267 opened by nomeata
May 8, 2025 15:29 In progress joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 In progress
feat: guard_msgs to treat trace messages separate Check for modules that should use `prelude` #12263: Pull request #8267 opened by nomeata
May 8, 2025 15:29 17s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 17s
feat: guard_msgs to treat trace messages separate Check for copyright header #12418: Pull request #8267 opened by nomeata
May 8, 2025 15:29 50s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 50s
feat: guard_msgs to treat trace messages separate Check PR body for changelog convention #12528: Pull request #8267 opened by nomeata
May 8, 2025 15:29 14s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 14s
feat: guard_msgs to treat trace messages separate Check awaiting-mathlib label #3670: Pull request #8267 opened by nomeata
May 8, 2025 15:29 12s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 12s
feat: guard_msgs to treat trace messages separate Check PR title for commit convention #20800: Pull request #8267 opened by nomeata
May 8, 2025 15:29 16s joachim/guard-msgs-trace
joachim/guard-msgs-trace
May 8, 2025 15:29 16s
PR release PR release #24878: completed by nomeata
May 8, 2025 15:13 4m 25s
May 8, 2025 15:13 4m 25s
feat: improve 'apply' unification error message Nix CI #30714: Pull request #8261 synchronize by nomeata
May 8, 2025 14:48 13m 50s apply_error_message
apply_error_message
May 8, 2025 14:48 13m 50s
feat: improve 'apply' unification error message Check for stage0 changes #14433: Pull request #8261 synchronize by nomeata
May 8, 2025 14:48 49s apply_error_message
apply_error_message
May 8, 2025 14:48 49s
0