Skip to content

Actions: devsystemslab/HNOCA-tools

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update build-site.yaml
build-website #19: Commit 1a0b9b1 pushed by joschif
May 21, 2024 16:19 43s main
May 21, 2024 16:19 43s
pages build and deployment
pages-build-deployment #22: by github-pages bot
May 21, 2024 16:18 34s gh-pages
May 21, 2024 16:18 34s
docs: rebuild site
build-website #18: Commit 6d95b23 pushed by joschif
May 21, 2024 16:18 40s main
May 21, 2024 16:18 40s
pages build and deployment
pages-build-deployment #21: by github-pages bot
May 21, 2024 16:15 31s gh-pages
May 21, 2024 16:15 31s
docs: change order and add quickstart
build-website #17: Commit 84d133e pushed by joschif
May 21, 2024 16:15 46s main
May 21, 2024 16:15 46s
pages build and deployment
pages-build-deployment #20: by joschif
May 21, 2024 16:13 31s gh-pages
May 21, 2024 16:13 31s
pages build and deployment
pages-build-deployment #19: by joschif
May 21, 2024 16:10 51s main
May 21, 2024 16:10 51s
pages build and deployment
pages-build-deployment #18: by joschif
May 21, 2024 16:04 27s gh-pages
May 21, 2024 16:04 27s
pages build and deployment
pages-build-deployment #17: by github-pages bot
May 21, 2024 16:03 40s gh-pages
May 21, 2024 16:03 40s
docs: logo size
build-website #16: Commit 8b62ed8 pushed by joschif
May 21, 2024 16:02 18m 55s main
May 21, 2024 16:02 18m 55s
pages build and deployment
pages-build-deployment #16: by github-pages bot
May 21, 2024 16:01 34s gh-pages
May 21, 2024 16:01 34s
pages build and deployment
pages-build-deployment #15: by github-pages bot
May 21, 2024 16:00 28s gh-pages
May 21, 2024 16:00 28s
docs: logo size
build-website #15: Commit ef530bb pushed by joschif
May 21, 2024 16:00 17m 39s main
May 21, 2024 16:00 17m 39s
docs: fix logo
build-website #14: Commit 5d6de22 pushed by joschif
May 21, 2024 16:00 1m 5s main
May 21, 2024 16:00 1m 5s
pages build and deployment
pages-build-deployment #14: by github-pages bot
May 21, 2024 15:59 37s gh-pages
May 21, 2024 15:59 37s
docs: add logo
build-website #13: Commit df7be60 pushed by joschif
May 21, 2024 15:59 1m 47s main
May 21, 2024 15:59 1m 47s
pages build and deployment
pages-build-deployment #13: by github-pages bot
May 21, 2024 15:18 35s gh-pages
May 21, 2024 15:18 35s
docs: add quickstart
build-website #12: Commit 5873a40 pushed by joschif
May 21, 2024 15:17 10m 24s main
May 21, 2024 15:17 10m 24s
pages build and deployment
pages-build-deployment #12: by github-pages bot
May 21, 2024 15:09 35s gh-pages
May 21, 2024 15:09 35s
docs: better docs for mapper
build-website #11: Commit 9b49fa3 pushed by joschif
May 21, 2024 15:09 16m 5s main
May 21, 2024 15:09 16m 5s
pages build and deployment
pages-build-deployment #11: by github-pages bot
May 21, 2024 14:56 31s gh-pages
May 21, 2024 14:56 31s
docs: add mapper docs
build-website #10: Commit c2a2ae1 pushed by joschif
May 21, 2024 14:55 28m 11s main
May 21, 2024 14:55 28m 11s
pages build and deployment
pages-build-deployment #10: by joschif
May 21, 2024 13:56 36s gh-pages
May 21, 2024 13:56 36s
docs: update build action
build-website #9: Commit 4a1ed17 pushed by joschif
May 21, 2024 13:52 30m 39s main
May 21, 2024 13:52 30m 39s
docs: update build action
build-website #8: Commit 0a252b3 pushed by joschif
May 21, 2024 13:49 27m 7s main
May 21, 2024 13:49 27m 7s