Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70,664 workflow run results
70,664 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #11436: completed by github-merge-queue bot
August 30, 2024 23:11 2s
August 30, 2024 23:11 2s
PR release PR release #11435: completed by tydeu
August 30, 2024 23:01 2m 24s
August 30, 2024 23:01 2m 24s
feat: lake: Reservoir-related configuration for packages Check for copyright header #4290: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 23s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 23s
feat: lake: Reservoir-related configuration for packages Check for stage0 changes #3804: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 34s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 34s
feat: lake: Reservoir-related configuration for packages CI #20896: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 10m 27s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 10m 27s
feat: lake: Reservoir-related configuration for packages Nix CI #17752: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 8m 26s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 8m 26s
feat: lake: Reservoir-related configuration for packages Check PR title for commit convention #8368: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 8s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 8s
feat: lake: Reservoir-related configuration for packages Check for modules that should use `prelude` #4135: Pull request #4770 synchronize by tydeu
August 30, 2024 22:51 11s tydeu:lake/reservoir-fields
tydeu:lake/reservoir-fields
August 30, 2024 22:51 11s
fix: out of bounds access when the CNF is too small Backport #3890: Pull request #5220 closed by hargoniX
August 30, 2024 22:51 9s
August 30, 2024 22:51 9s
fix: out of bounds access when the CNF is too small (#5220) CI #20895: Commit 88c193d pushed by github-merge-queue bot
August 30, 2024 22:51 20m 46s master
master
August 30, 2024 22:51 20m 46s
fix: out of bounds access when the CNF is too small (#5220) Nix CI #17751: Commit 88c193d pushed by github-merge-queue bot
August 30, 2024 22:51 8m 56s master
master
August 30, 2024 22:51 8m 56s
fix: out of bounds access when the CNF is too small (#5220) Update stage0 #1531: Commit 88c193d pushed by github-merge-queue bot
August 30, 2024 22:51 21s master
master
August 30, 2024 22:51 21s
PR release PR release #11434: completed by hargoniX
August 30, 2024 22:50 2s
August 30, 2024 22:50 2s
fix: out of bounds access when the CNF is too small Label PR based on Comment #6213: Issue comment #5220 (comment) created by leanprover-community-mathlib4-bot
August 30, 2024 22:33 2s
August 30, 2024 22:33 2s
Check PR title for commit convention Check PR title for commit convention #8367: Merge group checks requested
August 30, 2024 22:30 10s
August 30, 2024 22:30 10s
Check for stage0 changes Check for stage0 changes #3803: Merge group checks requested
August 30, 2024 22:30 25s
August 30, 2024 22:30 25s
Actionlint Actionlint #1941: Merge group checks requested
August 30, 2024 22:30 24s
August 30, 2024 22:30 24s
CI CI #20894: Merge group checks requested
August 30, 2024 22:30 20m 30s
August 30, 2024 22:30 20m 30s
Nix CI Nix CI #17750: Merge group checks requested
August 30, 2024 22:30 8m 59s
August 30, 2024 22:30 8m 59s
PR release PR release #11433: completed by hargoniX
August 30, 2024 22:30 3m 17s
August 30, 2024 22:30 3m 17s
PR release PR release #11432: completed by hargoniX
August 30, 2024 22:14 2s
August 30, 2024 22:14 2s
fix: out of bounds access when the CNF is too small Check PR title for commit convention #8366: Pull request #5220 edited by hargoniX
August 30, 2024 22:14 9s hbv/fix-leansat-range
hbv/fix-leansat-range
August 30, 2024 22:14 9s
fix: out of bounds access when the CNF is too small CI #20893: Pull request #5220 synchronize by hargoniX
August 30, 2024 22:13 16m 18s hbv/fix-leansat-range
hbv/fix-leansat-range
August 30, 2024 22:13 16m 18s
fix: out of bounds access when the CNF is too small Nix CI #17749: Pull request #5220 synchronize by hargoniX
August 30, 2024 22:13 9m 26s hbv/fix-leansat-range
hbv/fix-leansat-range
August 30, 2024 22:13 9m 26s
fix: out of bounds access when the CNF is too small Check for modules that should use `prelude` #4134: Pull request #5220 synchronize by hargoniX
August 30, 2024 22:13 11s hbv/fix-leansat-range
hbv/fix-leansat-range
August 30, 2024 22:13 11s