Skip to content

Actions: leanprover-community/logic_and_proof

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #6: by Jlh18
November 16, 2024 21:01 28s gh-pages
November 16, 2024 21:01 28s
pages build and deployment
pages-build-deployment #5: by Jlh18
September 4, 2024 14:42 31s gh-pages
September 4, 2024 14:42 31s
pages build and deployment
pages-build-deployment #4: by Jlh18
September 4, 2024 14:31 41s gh-pages
September 4, 2024 14:31 41s
pages build and deployment
pages-build-deployment #3: by Jlh18
September 3, 2024 13:53 26s gh-pages
September 3, 2024 13:53 26s
pages build and deployment
pages-build-deployment #2: by Jlh18
September 3, 2024 13:45 41s gh-pages
September 3, 2024 13:45 41s
pages build and deployment
pages-build-deployment #1: by kim-em
September 2, 2024 01:07 37s master
September 2, 2024 01:07 37s