Skip to content

Actions: heterotopian/technotes

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

pages build and deployment
pages-build-deployment #13: by github-pages bot
November 2, 2023 20:22 34s
November 2, 2023 20:22 34s
Merge pull request #44 from heterotopian/python-safepath
Continuous integration #47: Commit b7f4d2e pushed by heterotopian
November 2, 2023 20:21 49s master
November 2, 2023 20:21 49s
pages build and deployment
pages-build-deployment #12: by github-pages bot
November 1, 2023 21:39 33s
November 1, 2023 21:39 33s
Merge pull request #43 from heterotopian/watch-options
Continuous integration #46: Commit 6949a66 pushed by heterotopian
November 1, 2023 21:39 48s master
November 1, 2023 21:39 48s