Skip to content

Actions: openml/server-api

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
276 workflow runs
276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add documentation pages for installing and local development (#74)
Deploy Docs #17: Commit e2492de pushed by PGijsbers
November 3, 2023 10:04 38s main
November 3, 2023 10:04 38s
pages build and deployment
pages-build-deployment #9: by github-pages bot
October 31, 2023 16:29 37s
October 31, 2023 16:29 37s
Update unit tests to be more strict
Deploy Docs #16: Commit 2919fe2 pushed by PGijsbers
October 31, 2023 16:28 30s add/docs
October 31, 2023 16:28 30s
pages build and deployment
pages-build-deployment #8: by github-pages bot
October 21, 2023 09:08 38s
October 21, 2023 09:08 38s
Add project overview and move roadmap content
Deploy Docs #15: Commit 8a37572 pushed by PGijsbers
October 21, 2023 09:08 33s add/docs
October 21, 2023 09:08 33s
pages build and deployment
pages-build-deployment #7: by github-pages bot
October 21, 2023 08:51 40s
October 21, 2023 08:51 40s
Make codeblocks copyable
Deploy Docs #14: Commit eafce20 pushed by PGijsbers
October 21, 2023 08:50 31s add/docs
October 21, 2023 08:50 31s
pages build and deployment
pages-build-deployment #6: by github-pages bot
October 20, 2023 18:28 38s
October 20, 2023 18:28 38s
Fix typo in site_url
Deploy Docs #13: Commit 1f8aabe pushed by PGijsbers
October 20, 2023 18:27 34s add/docs
October 20, 2023 18:27 34s
pages build and deployment
pages-build-deployment #5: by github-pages bot
October 20, 2023 18:22 37s
October 20, 2023 18:22 37s
Add mkdocs-section-index requirement
Deploy Docs #12: Commit 9aafcdc pushed by PGijsbers
October 20, 2023 18:21 26s add/docs
October 20, 2023 18:21 26s
Make sure all documentation information is in dedicated section
Deploy Docs #11: Commit 78f6474 pushed by PGijsbers
October 20, 2023 18:19 34s add/docs
October 20, 2023 18:19 34s
Only 131 datasets in the test database
Deploy Docs #10: Commit 2e4caa2 pushed by PGijsbers
October 20, 2023 12:47 28s add/docs
October 20, 2023 12:47 28s
Change connection address, minio can now be compared
Deploy Docs #9: Commit ddc8fe6 pushed by PGijsbers
October 20, 2023 12:39 26s add/docs
October 20, 2023 12:39 26s
Set ignored files for docker builds
Deploy Docs #8: Commit fc037f8 pushed by PGijsbers
October 20, 2023 10:34 32s add/docs
October 20, 2023 10:34 32s
Move stub files
Deploy Docs #7: Commit f31eddd pushed by PGijsbers
October 20, 2023 09:00 28s add/docs
October 20, 2023 09:00 28s
Move php and database docker files to docker directory
Deploy Docs #6: Commit de28106 pushed by PGijsbers
October 20, 2023 08:57 32s add/docs
October 20, 2023 08:57 32s
Merge branch 'main' into add/docs
Deploy Docs #5: Commit b2af709 pushed by PGijsbers
October 18, 2023 13:21 33s add/docs
October 18, 2023 13:21 33s
pages build and deployment
pages-build-deployment #4: by github-pages bot
October 16, 2023 14:00 42s
October 16, 2023 14:00 42s
Further clarify that this is not REST API documentation itself
Deploy Docs #4: Commit 6cc2d19 pushed by PGijsbers
October 16, 2023 14:00 30s add/docs
October 16, 2023 14:00 30s
pages build and deployment
pages-build-deployment #3: by github-pages bot
October 16, 2023 13:58 33s
October 16, 2023 13:58 33s
Add project information
Deploy Docs #3: Commit ce6d28c pushed by PGijsbers
October 16, 2023 13:58 38s add/docs
October 16, 2023 13:58 38s
pages build and deployment
pages-build-deployment #2: by github-pages bot
October 16, 2023 13:41 37s
October 16, 2023 13:41 37s
Add source for workflow for later reference
Deploy Docs #2: Commit c6fb107 pushed by PGijsbers
October 16, 2023 13:40 36s add/docs
October 16, 2023 13:40 36s
pages build and deployment
pages-build-deployment #1: by PGijsbers
October 16, 2023 13:37 38s
October 16, 2023 13:37 38s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.