Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

[Merged by Bors] - chore(deps): bump leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec in /.github #16208

Sign in to view logs

[Merged by Bors] - chore(deps): bump leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec in /.github

[Merged by Bors] - chore(deps): bump leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec in /.github #16208

Triggered via pull request May 1, 2025 13:25
@dependabotdependabot[bot]
labeled #24507
dependabot/github_actions/dot-github/leanprover/lean-action-f807b338d95de7813c5c50d018f1c23c9b93b4ec
Status Skipped
Total duration 2s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
0s
set_pr_emoji
Fit to window
Zoom out
Zoom in