Skip to content

Actions: secondmind-labs/trieste

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
690 workflow runs
690 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Filter-out local datasets when calling base-rule (#805)
Develop checks #451: Commit 82f929d pushed by khurram-ghani
January 12, 2024 11:55 1h 56m 38s develop
January 12, 2024 11:55 1h 56m 38s
Filter-out local datasets when calling base-rule
Quality checks #4329: Pull request #805 synchronize by khurram-ghani
January 12, 2024 11:22 21m 42s khurram/tr_dataset_filter
January 12, 2024 11:22 21m 42s
Rename frontpage badges
Quality checks #4328: Pull request #802 synchronize by uri-granta
January 11, 2024 10:49 22m 43s uri/rename_deploy_yaml
January 11, 2024 10:49 22m 43s
Update CONTRIBUTING.md
Quality checks #4327: Pull request #804 synchronize by uri-granta
January 11, 2024 09:56 24m 1s uri/update_contribution_guidelines
January 11, 2024 09:56 24m 1s
Filter-out local datasets when calling base-rule
Quality checks #4326: Pull request #805 opened by khurram-ghani
January 10, 2024 16:31 22m 14s khurram/tr_dataset_filter
January 10, 2024 16:31 22m 14s
Update CONTRIBUTING.md
Quality checks #4325: Pull request #804 opened by uri-granta
January 5, 2024 09:30 21m 55s uri/update_contribution_guidelines
January 5, 2024 09:30 21m 55s
Rename frontpage badges
Quality checks #4324: Pull request #802 synchronize by uri-granta
January 2, 2024 08:41 21m 44s uri/rename_deploy_yaml
January 2, 2024 08:41 21m 44s
Rename frontpage badges
Quality checks #4323: Pull request #802 opened by uri-granta
December 20, 2023 09:37 21m 53s uri/rename_deploy_yaml
December 20, 2023 09:37 21m 53s
pages build and deployment
pages-build-deployment #8: by github-pages bot
December 19, 2023 18:38 2m 58s gh-pages-history
December 19, 2023 18:38 2m 58s
Bump version to 2.0.0 (#801)
Develop checks #450: Commit b4ff3f6 pushed by uri-granta
December 19, 2023 16:46 1h 54m 43s v2.0.0
December 19, 2023 16:46 1h 54m 43s
Bump version to 2.0.0 (#801)
Release documentation build and pypi upload #58: Commit b4ff3f6 pushed by uri-granta
December 19, 2023 16:46 1h 51m 49s v2.0.0
December 19, 2023 16:46 1h 51m 49s
pages build and deployment
pages-build-deployment #7: by github-pages bot
December 19, 2023 16:39 3m 23s gh-pages-history
December 19, 2023 16:39 3m 23s
Bump version to 2.0.0 (#801)
Develop checks #449: Commit b4ff3f6 pushed by uri-granta
December 19, 2023 14:43 1h 54m 15s develop
December 19, 2023 14:43 1h 54m 15s
Bump version to 2.0.0 (#801)
Develop documentation build #159: Commit b4ff3f6 pushed by uri-granta
December 19, 2023 14:43 3h 46m 31s develop
December 19, 2023 14:43 3h 46m 31s
Bump version to 2.0.0
Quality checks #4322: Pull request #801 opened by uri-granta
December 19, 2023 13:17 22m 32s uri/bump_version_to_2_0_0
December 19, 2023 13:17 22m 32s
pages build and deployment
pages-build-deployment #6: by github-pages bot
December 18, 2023 12:03 2m 29s gh-pages-history
December 18, 2023 12:03 2m 29s
Batch trust regions implementation of TURBO (#791)
Develop documentation build #158: Commit cf09b0f pushed by khurram-ghani
December 18, 2023 10:10 3h 40m 38s develop
December 18, 2023 10:10 3h 40m 38s
Batch trust regions implementation of TURBO (#791)
Develop checks #448: Commit cf09b0f pushed by khurram-ghani
December 18, 2023 10:10 1h 52m 43s develop
December 18, 2023 10:10 1h 52m 43s
Batch trust regions implementation of TURBO
Quality checks #4321: Pull request #791 synchronize by khurram-ghani
December 15, 2023 18:38 22m 34s khurram/batch_turbo
December 15, 2023 18:38 22m 34s
Batch trust regions implementation of TURBO
Quality checks #4320: Pull request #791 synchronize by khurram-ghani
December 14, 2023 14:55 22m 4s khurram/batch_turbo
December 14, 2023 14:55 22m 4s
pages build and deployment
pages-build-deployment #5: by github-pages bot
December 14, 2023 14:29 2m 43s gh-pages-history
December 14, 2023 14:29 2m 43s
Local models and datasets (#788)
Develop documentation build #157: Commit f766953 pushed by khurram-ghani
December 14, 2023 12:34 3h 54m 57s develop
December 14, 2023 12:34 3h 54m 57s
Local models and datasets (#788)
Develop checks #447: Commit f766953 pushed by khurram-ghani
December 14, 2023 12:34 1h 52m 29s develop
December 14, 2023 12:34 1h 52m 29s
Local models and datasets
Quality checks #4319: Pull request #788 synchronize by khurram-ghani
December 13, 2023 18:28 24m 1s khurram/local_models
December 13, 2023 18:28 24m 1s
pages build and deployment
pages-build-deployment #4: by github-pages bot
December 5, 2023 20:02 3m 5s gh-pages-history
December 5, 2023 20:02 3m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.