Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29,094 workflow run results
29,094 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Implement Functor for Array Label PR based on Comment #3757: Issue comment #3976 (comment) created by alok
April 25, 2024 19:33 3s
April 25, 2024 19:33 3s
PR release PR release #6444: completed by nomeata
April 25, 2024 19:14 2s
April 25, 2024 19:14 2s
fix: validate UTF-8 at C++ -> Lean boundary Nix CI #13079: Pull request #3963 labeled by nomeata
April 25, 2024 18:06 22m 24s digama0:validate_utf8_c
digama0:validate_utf8_c
April 25, 2024 18:06 22m 24s
fix: validate UTF-8 at C++ -> Lean boundary Backport #2087: Pull request #3963 labeled by nomeata
April 25, 2024 18:06 3s
April 25, 2024 18:06 3s
fix: validate UTF-8 at C++ -> Lean boundary CI #16083: Pull request #3963 labeled by nomeata
April 25, 2024 18:06 1h 8m 26s digama0:validate_utf8_c
digama0:validate_utf8_c
April 25, 2024 18:06 1h 8m 26s
fix: validate UTF-8 at C++ -> Lean boundary Label PR based on Comment #3756: Issue comment #3963 (comment) created by nomeata
April 25, 2024 18:05 2s
April 25, 2024 18:05 2s
PR release PR release #6443: completed by Kha
April 25, 2024 17:54 2s
April 25, 2024 17:54 2s
CI CI #16082: Merge group checks requested
April 25, 2024 16:46 1h 7m 45s
April 25, 2024 16:46 1h 7m 45s
Nix CI Nix CI #13078: Merge group checks requested
April 25, 2024 16:46 22m 12s
April 25, 2024 16:46 22m 12s
Actionlint Actionlint #882: Merge group checks requested
April 25, 2024 16:46 29s
April 25, 2024 16:46 29s
Check for stage0 changes Check for stage0 changes #104: Merge group checks requested
April 25, 2024 16:46 37s
April 25, 2024 16:46 37s
Check PR title for commit convention Check PR title for commit convention #3993: Merge group checks requested
April 25, 2024 16:46 13s
April 25, 2024 16:46 13s
fix: validate UTF-8 at C++ -> Lean boundary Label PR based on Comment #3755: Issue comment #3963 (comment) created by digama0
April 25, 2024 16:35 5s
April 25, 2024 16:35 5s
fix: validate UTF-8 at C++ -> Lean boundary Check PR title for commit convention #3992: Pull request #3963 edited by digama0
April 25, 2024 16:35 26s digama0:validate_utf8_c
digama0:validate_utf8_c
April 25, 2024 16:35 26s
PR release PR release #6442: completed by FR-vdash-bot
April 25, 2024 16:14 2m 25s
April 25, 2024 16:14 2m 25s
chore: upstream Nat.binaryRec Check for modules that should use `prelude` #1279: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 18s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 18s
chore: upstream Nat.binaryRec Check PR title for commit convention #3991: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 9s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 9s
chore: upstream Nat.binaryRec Check for copyright header #1434: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 28s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 28s
chore: upstream Nat.binaryRec Check for stage0 changes #103: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 38s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 38s
chore: upstream Nat.binaryRec CI #16081: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 14m 45s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 14m 45s
chore: upstream Nat.binaryRec Nix CI #13077: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:59 16m 14s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:59 16m 14s
PR release PR release #6441: completed by FR-vdash-bot
April 25, 2024 15:55 2m 26s
April 25, 2024 15:55 2m 26s
chore: upstream Nat.binaryRec Check for stage0 changes #102: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:40 38s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:40 38s
chore: upstream Nat.binaryRec Check PR title for commit convention #3990: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:40 11s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:40 11s
chore: upstream Nat.binaryRec Check for modules that should use `prelude` #1278: Pull request #3756 synchronize by FR-vdash-bot
April 25, 2024 15:40 19s FR-vdash-bot:binaryRec
FR-vdash-bot:binaryRec
April 25, 2024 15:40 19s