Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Grove
Grove #22447: completed by leodemoura
36s
PR release
PR release #50957: completed by leodemoura
In progress
Grove
Grove #22446: completed by github-merge-queue Bot
1m 36s
PR release
PR release #50956: completed by github-merge-queue Bot
1s
PR release
PR release #50955: completed by wkrozowski
1s
Grove
Grove #22445: completed by wkrozowski
14s