Skip to content

Actions: robin-janssen/CODES-Benchmark

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #18: by robin-janssen
October 15, 2024 11:27 48s gh-pages
October 15, 2024 11:27 48s
pages build and deployment
pages-build-deployment #17: by robin-janssen
October 15, 2024 11:06 39s gh-pages
October 15, 2024 11:06 39s
pages build and deployment
pages-build-deployment #16: by github-pages bot
October 15, 2024 11:03 43s gh-pages
October 15, 2024 11:03 43s
pages build and deployment
pages-build-deployment #15: by github-pages bot
October 15, 2024 11:03 7s gh-pages
October 15, 2024 11:03 7s
change destination_dir
CI Pipeline #42: Pull request #17 synchronize by robin-janssen
October 15, 2024 11:01 2m 4s fix-actions
October 15, 2024 11:01 2m 4s
pages build and deployment
pages-build-deployment #14: by robin-janssen
October 15, 2024 10:52 32s gh-pages
October 15, 2024 10:52 32s
change destination_dir
CI Pipeline #41: Pull request #17 opened by robin-janssen
October 15, 2024 10:49 2m 14s fix-actions
October 15, 2024 10:49 2m 14s
adjust destination_dir
CI Pipeline #40: Commit c40ff47 pushed by robin-janssen
October 15, 2024 10:42 2m 8s main
October 15, 2024 10:42 2m 8s
pages build and deployment
pages-build-deployment #13: by robin-janssen
October 15, 2024 10:42 53s main
October 15, 2024 10:42 53s
Another attempt at deploying the docs properly
CI Pipeline #39: Commit cf7a1be pushed by robin-janssen
October 15, 2024 10:24 1m 58s main
October 15, 2024 10:24 1m 58s
pages build and deployment
pages-build-deployment #12: by robin-janssen
October 15, 2024 10:24 49s main
October 15, 2024 10:24 49s
move custom HTML files to docs/custom_html
CI Pipeline #38: Commit b04c5b6 pushed by robin-janssen
October 15, 2024 09:54 2m 2s main
October 15, 2024 09:54 2m 2s
pages build and deployment
pages-build-deployment #11: by robin-janssen
October 15, 2024 09:54 55s main
October 15, 2024 09:54 55s
adjust ci.yaml to move sphinx docs one folder up
CI Pipeline #37: Commit ddb138a pushed by robin-janssen
October 11, 2024 16:25 2m 9s main
October 11, 2024 16:25 2m 9s
pages build and deployment
pages-build-deployment #10: by robin-janssen
October 11, 2024 16:25 41s main
October 11, 2024 16:25 41s
fix ci.yaml
CI Pipeline #36: Commit 47d0280 pushed by robin-janssen
October 11, 2024 16:14 2m 8s main
October 11, 2024 16:14 2m 8s
pages build and deployment
pages-build-deployment #9: by robin-janssen
October 11, 2024 16:14 41s main
October 11, 2024 16:14 41s
pages build and deployment
pages-build-deployment #8: by robin-janssen
October 11, 2024 16:00 45s main
October 11, 2024 16:00 45s
October 11, 2024 16:00 1s
pages build and deployment
pages-build-deployment #7: by robin-janssen
October 11, 2024 15:40 40s main
October 11, 2024 15:40 40s
Merge pull request #15 from robin-janssen/handsdown-docs
CI Pipeline #34: Commit 3fe5195 pushed by robin-janssen
October 11, 2024 15:38 2m 2s main
October 11, 2024 15:38 2m 2s
Handsdown docs
CI Pipeline #33: Pull request #15 synchronize by robin-janssen
October 11, 2024 15:35 2m 6s handsdown-docs
October 11, 2024 15:35 2m 6s
pages build and deployment
pages-build-deployment #6: by robin-janssen
October 11, 2024 15:35 41s handsdown-docs
October 11, 2024 15:35 41s
Handsdown docs
CI Pipeline #32: Pull request #15 synchronize by robin-janssen
October 11, 2024 15:26 2m 9s handsdown-docs
October 11, 2024 15:26 2m 9s
pages build and deployment
pages-build-deployment #5: by robin-janssen
October 11, 2024 15:26 47s handsdown-docs
October 11, 2024 15:26 47s