Skip to content

Actions: mp2i-info/mp2i-info.github.io

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
2 workflow runs
2 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #633: by github-pages bot
October 12, 2023 09:07 1m 20s
October 12, 2023 09:07 1m 20s
U add binder links & deploy mkdocs #716: Commit 71a7867 pushed by fortierq
October 12, 2023 09:05 2m 10s main
main
October 12, 2023 09:05 2m 10s