Skip to content

Actions: argumentcomputer/Megaparsec.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use Lean v4.4.0 LSpec CI #47: Pull request #57 synchronize by Anderssorby
December 26, 2023 08:46 1m 34s Anderssorby:acs/lean-v4.4.0
Anderssorby:acs/lean-v4.4.0
December 26, 2023 08:46 1m 34s