Skip to content

Actions: leanprover-community/plausible

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: update README Lean Action CI #3: Commit b5a2fa0 pushed by hargoniX
October 24, 2024 09:34 32s main
main
October 24, 2024 09:34 32s
Create LICENSE Lean Action CI #2: Commit 7ec34fe pushed by hargoniX
October 24, 2024 06:38 45s main
main
October 24, 2024 06:38 45s
feat: initial commit of plausible Lean Action CI #1: Commit 2f7407d pushed by hargoniX
October 24, 2024 06:37 47s main
main
October 24, 2024 06:37 47s