Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14401: completed by dependabot bot
November 5, 2024 11:58 2s
November 5, 2024 11:58 2s
PR release PR release #14400: completed by github-merge-queue bot
November 5, 2024 11:58 2s
November 5, 2024 11:58 2s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 Backport #4962: Pull request #5964 closed by Kha
November 5, 2024 11:58 10s
November 5, 2024 11:58 10s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 (#5964) CI #23824: Commit 0181418 pushed by github-merge-queue bot
November 5, 2024 11:58 6m 2s master
master
November 5, 2024 11:58 6m 2s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 (#5964) Actionlint #2610: Commit 0181418 pushed by github-merge-queue bot
November 5, 2024 11:58 36s master
master
November 5, 2024 11:58 36s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 (#5964) Update stage0 #2063: Commit 0181418 pushed by github-merge-queue bot
November 5, 2024 11:58 28s master
master
November 5, 2024 11:58 28s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 (#5964) Nix CI #20605: Commit 0181418 pushed by github-merge-queue bot
November 5, 2024 11:58 5m 49s master
master
November 5, 2024 11:58 5m 49s
PR release PR release #14399: completed by Kha
November 5, 2024 11:57 3s
November 5, 2024 11:57 3s
PR release PR release #14398: completed by nomeata
November 5, 2024 11:53 2s
November 5, 2024 11:53 2s
feat: float_match simproc and conv tactic CI #23823: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 17m 23s joachim/float-match
joachim/float-match
November 5, 2024 11:53 17m 23s
feat: float_match simproc and conv tactic Check for stage0 changes #6130: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 44s joachim/float-match
joachim/float-match
November 5, 2024 11:53 44s
feat: float_match simproc and conv tactic Check for copyright header #6060: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 29s joachim/float-match
joachim/float-match
November 5, 2024 11:53 29s
feat: float_match simproc and conv tactic Nix CI #20604: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 7m 13s joachim/float-match
joachim/float-match
November 5, 2024 11:53 7m 13s
feat: float_match simproc and conv tactic Check PR title for commit convention #11181: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 7s joachim/float-match
joachim/float-match
November 5, 2024 11:53 7s
feat: float_match simproc and conv tactic Check for modules that should use `prelude` #5905: Pull request #5923 synchronize by nomeata
November 5, 2024 11:53 15s joachim/float-match
joachim/float-match
November 5, 2024 11:53 15s
feat: float_match simproc and conv tactic Check PR title for commit convention #11180: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 11s joachim/float-match
joachim/float-match
November 5, 2024 11:46 11s
feat: float_match simproc and conv tactic Check for copyright header #6059: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 31s joachim/float-match
joachim/float-match
November 5, 2024 11:46 31s
feat: float_match simproc and conv tactic Check for modules that should use `prelude` #5904: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 29s joachim/float-match
joachim/float-match
November 5, 2024 11:46 29s
feat: float_match simproc and conv tactic Check for stage0 changes #6129: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 1m 3s joachim/float-match
joachim/float-match
November 5, 2024 11:46 1m 3s
feat: float_match simproc and conv tactic Nix CI #20603: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 7m 37s joachim/float-match
joachim/float-match
November 5, 2024 11:46 7m 37s
feat: float_match simproc and conv tactic CI #23822: Pull request #5923 synchronize by nomeata
November 5, 2024 11:46 7m 40s joachim/float-match
joachim/float-match
November 5, 2024 11:46 7m 40s
PR release PR release #14397: completed by github-merge-queue bot
November 5, 2024 11:44 2s
November 5, 2024 11:44 2s
chore: CI: bump actions/github-script from 6 to 7 Backport #4961: Pull request #5962 closed by Kha
November 5, 2024 11:44 10s
November 5, 2024 11:44 10s
chore: CI: bump actions/github-script from 6 to 7 (#5962) Update stage0 #2062: Commit 47d0060 pushed by github-merge-queue bot
November 5, 2024 11:44 1m 7s master
master
November 5, 2024 11:44 1m 7s
chore: CI: bump actions/github-script from 6 to 7 (#5962) Actionlint #2609: Commit 47d0060 pushed by github-merge-queue bot
November 5, 2024 11:44 1m 10s master
master
November 5, 2024 11:44 1m 10s