Skip to content

Actions: bridgekat/leansubst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add doc-gen Lean Action CI #4: Commit db223d8 pushed by bridgekat
October 25, 2024 20:50 2m 23s main
main
October 25, 2024 20:50 2m 23s
feat: add doc-gen Lean Action CI #3: Commit c9c9ac5 pushed by bridgekat
October 5, 2024 22:32 1m 56s main
main
October 5, 2024 22:32 1m 56s
feat: upgrade Lean version Lean Action CI #2: Commit 4474cfd pushed by bridgekat
October 5, 2024 13:41 1m 17s main
main
October 5, 2024 13:41 1m 17s
feat: upgrade Lean version Lean Action CI #1: Commit 1cfc93d pushed by bridgekat
October 5, 2024 12:27 2m 1s main
main
October 5, 2024 12:27 2m 1s