Skip to content

Actions: digama0/lean4checker

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: add note about lean4lean continuous integration #1: Commit c7ac956 pushed by digama0
November 4, 2024 00:01 32s lean4lean_note
lean4lean_note
November 4, 2024 00:01 32s