Skip to content

Actions: boogie-org/lean-itrees

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

Merge pull request #2 from boogie-org/add-ci Lean Action CI #3: Commit f409016 pushed by atomb
January 13, 2025 19:01 1m 51s main
main
January 13, 2025 19:01 1m 51s
Add CI with the standard Lean Action Lean Action CI #2: Pull request #2 opened by atomb
January 13, 2025 18:51 2m 8s add-ci
add-ci
January 13, 2025 18:51 2m 8s
Add CI with the standard Lean Action Lean Action CI #1: Commit 810c6be pushed by atomb
January 13, 2025 18:51 1m 56s add-ci
add-ci
January 13, 2025 18:51 1m 56s