Skip to content

Actions: secondmind-labs/trieste

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial point samplers Quality checks #4336: Pull request #808 opened by uri-granta
January 16, 2024 08:44 4m 45s uri/split_initial_point_generation
uri/split_initial_point_generation
January 16, 2024 08:44 4m 45s
pages build and deployment with artifacts-next pages-build-deployment #10: by github-pages bot
January 15, 2024 11:11 1m 25s
January 15, 2024 11:11 1m 25s
Various linting suggestions Quality checks #4335: Pull request #807 synchronize by uri-granta
January 15, 2024 09:36 21m 31s uri/various_linting_suggestions
uri/various_linting_suggestions
January 15, 2024 09:36 21m 31s
Update CONTRIBUTING.md (#804) Develop documentation build #161: Commit 741df6b pushed by uri-granta
January 15, 2024 09:16 3h 51m 47s develop
develop
January 15, 2024 09:16 3h 51m 47s
Update CONTRIBUTING.md (#804) Develop checks #452: Commit 741df6b pushed by uri-granta
January 15, 2024 09:16 1h 52m 30s develop
develop
January 15, 2024 09:16 1h 52m 30s
Various linting suggestions Quality checks #4334: Pull request #807 synchronize by uri-granta
January 15, 2024 08:46 21m 38s uri/various_linting_suggestions
uri/various_linting_suggestions
January 15, 2024 08:46 21m 38s
Update CONTRIBUTING.md Quality checks #4333: Pull request #804 synchronize by uri-granta
January 15, 2024 08:22 22m 20s uri/update_contribution_guidelines
uri/update_contribution_guidelines
January 15, 2024 08:22 22m 20s
Various linting suggestions Quality checks #4332: Pull request #807 synchronize by uri-granta
January 15, 2024 08:20 22m 13s uri/various_linting_suggestions
uri/various_linting_suggestions
January 15, 2024 08:20 22m 13s
Various linting suggestions Quality checks #4331: Pull request #807 synchronize by uri-granta
January 13, 2024 09:20 21m 3s uri/various_linting_suggestions
uri/various_linting_suggestions
January 13, 2024 09:20 21m 3s
Various linting suggestions Quality checks #4330: Pull request #807 opened by uri-granta
January 13, 2024 09:15 20m 49s uri/various_linting_suggestions
uri/various_linting_suggestions
January 13, 2024 09:15 20m 49s
pages build and deployment pages-build-deployment #9: by github-pages bot
January 12, 2024 13:48 2m 56s
January 12, 2024 13:48 2m 56s
Filter-out local datasets when calling base-rule (#805) Develop documentation build #160: Commit 82f929d pushed by khurram-ghani
January 12, 2024 11:55 3h 44m 12s develop
develop
January 12, 2024 11:55 3h 44m 12s
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
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
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
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
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
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
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
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
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
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
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
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
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
develop
December 19, 2023 14:43 1h 54m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-12-19 or the other filters available.