Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Actionlint Actionlint #2605: Merge group checks requested
November 5, 2024 11:06 38s
November 5, 2024 11:06 38s
Check for stage0 changes Check for stage0 changes #6126: Merge group checks requested
November 5, 2024 11:06 35s
November 5, 2024 11:06 35s
Check PR title for commit convention Check PR title for commit convention #11177: Merge group checks requested
November 5, 2024 11:06 13s
November 5, 2024 11:06 13s
Nix CI Nix CI #20598: Merge group checks requested
November 5, 2024 11:06 7m 38s
November 5, 2024 11:06 7m 38s
CI CI #23817: Merge group checks requested
November 5, 2024 11:06 37m 13s
November 5, 2024 11:06 37m 13s
PR release PR release #14391: completed by dependabot bot
November 5, 2024 11:06 3m 25s
November 5, 2024 11:06 3m 25s
PR release PR release #14390: completed by github-merge-queue bot
November 5, 2024 10:57 1s
November 5, 2024 10:57 1s
chore: CI: give Linux Debug unlimited test stack size Restart by label #1639: Pull request #5953 labeled by leanprover-community-bot
November 5, 2024 10:51 2s
November 5, 2024 10:51 2s
chore: CI: give Linux Debug unlimited test stack size Backport #4959: Pull request #5953 labeled by leanprover-community-bot
November 5, 2024 10:51 3s
November 5, 2024 10:51 3s
PR release PR release #14389: completed by kim-em
November 5, 2024 10:49 2m 51s
November 5, 2024 10:49 2m 51s
PR release PR release #14388: completed by dependabot bot
November 5, 2024 10:48 2s
November 5, 2024 10:48 2s
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 Backport #4958: Pull request #5963 labeled by Kha
November 5, 2024 10:48 2s
November 5, 2024 10:48 2s
chore: CI: bump mymindstorm/setup-emsdk from 12 to 14 Restart by label #1638: Pull request #5963 labeled by Kha
November 5, 2024 10:48 44s
November 5, 2024 10:48 44s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check for modules that should use `prelude` #5903: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 15s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 15s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check PR title for commit convention #11176: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 10s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 10s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Actionlint #2604: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 30s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 30s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check for copyright header #6058: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 31s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 31s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check for stage0 changes #6125: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 35s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 35s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Nix CI #20597: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 6m 11s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 6m 11s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 CI #23816: Pull request #5965 opened by dependabot bot
November 5, 2024 10:43 40m 36s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
November 5, 2024 10:43 40m 36s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Restart by label #1637: Pull request #5965 labeled by dependabot bot
November 5, 2024 10:43 1s
November 5, 2024 10:43 1s
chore: CI: bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Backport #4957: Pull request #5965 labeled by dependabot bot
November 5, 2024 10:43 2s
November 5, 2024 10:43 2s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 Check PR title for commit convention #11175: Pull request #5964 opened by dependabot bot
November 5, 2024 10:43 10s dependabot/github_actions/dawidd6/action-download-artifact-6
dependabot/github_actions/dawidd6/action-download-artifact-6
November 5, 2024 10:43 10s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 Check for modules that should use `prelude` #5902: Pull request #5964 opened by dependabot bot
November 5, 2024 10:43 14s dependabot/github_actions/dawidd6/action-download-artifact-6
dependabot/github_actions/dawidd6/action-download-artifact-6
November 5, 2024 10:43 14s
chore: CI: bump dawidd6/action-download-artifact from 2 to 6 Check for copyright header #6057: Pull request #5964 opened by dependabot bot
November 5, 2024 10:43 30s dependabot/github_actions/dawidd6/action-download-artifact-6
dependabot/github_actions/dawidd6/action-download-artifact-6
November 5, 2024 10:43 30s
ProTip! You can narrow down the results and go further in time using created:<2024-11-05 or the other filters available.