Skip to content

Actions: secondmind-labs/trieste

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
641 workflow runs
641 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make get_unique_points_mask more efficient Quality checks #4348: Pull request #813 opened by uri-granta
January 23, 2024 20:31 23m 16s uri/parallelise_get_unique_points_mask
uri/parallelise_get_unique_points_mask
January 23, 2024 20:31 23m 16s
Initial point samplers Quality checks #4347: Pull request #808 synchronize by uri-granta
January 22, 2024 09:26 21m 46s uri/split_initial_point_generation
uri/split_initial_point_generation
January 22, 2024 09:26 21m 46s
Make get_unique_points more efficient Quality checks #4346: Pull request #809 synchronize by uri-granta
January 22, 2024 09:18 21m 57s uri/improve_get_unique_points_mask
uri/improve_get_unique_points_mask
January 22, 2024 09:18 21m 57s
Make get_unique_points more efficient Quality checks #4345: Pull request #809 synchronize by uri-granta
January 22, 2024 09:13 22m 54s uri/improve_get_unique_points_mask
uri/improve_get_unique_points_mask
January 22, 2024 09:13 22m 54s
pages build and deployment with artifacts-next pages-build-deployment #13: by github-pages bot
January 17, 2024 13:16 1m 24s gh-pages-history
gh-pages-history
January 17, 2024 13:16 1m 24s
Update release-checks badge (#810) Develop documentation build #164: Commit c0fab52 pushed by uri-granta
January 17, 2024 11:23 3h 42m 15s develop
develop
January 17, 2024 11:23 3h 42m 15s
Update release-checks badge (#810) Develop checks #455: Commit c0fab52 pushed by uri-granta
January 17, 2024 11:23 1h 52m 38s develop
develop
January 17, 2024 11:23 1h 52m 38s
Update release-checks badge Quality checks #4344: Pull request #810 opened by uri-granta
January 17, 2024 10:59 21m 54s uri/update_release_checks_badge
uri/update_release_checks_badge
January 17, 2024 10:59 21m 54s
pages build and deployment with artifacts-next pages-build-deployment #12: by github-pages bot
January 17, 2024 10:44 1m 16s gh-pages-history
gh-pages-history
January 17, 2024 10:44 1m 16s
Release checks Release checks #1: Manually run by uri-granta
January 17, 2024 08:57 1h 54m 32s v2.0.0_tests
v2.0.0_tests
January 17, 2024 08:57 1h 54m 32s
Rename frontpage badges (#802) Develop checks #454: Commit f76bd82 pushed by uri-granta
January 17, 2024 08:50 1h 52m 6s develop
develop
January 17, 2024 08:50 1h 52m 6s
Rename frontpage badges (#802) Develop documentation build #163: Commit f76bd82 pushed by uri-granta
January 17, 2024 08:50 3h 40m 44s develop
develop
January 17, 2024 08:50 3h 40m 44s
Make get_unique_points more efficient Quality checks #4343: Pull request #809 opened by uri-granta
January 16, 2024 16:10 21m 43s uri/improve_get_unique_points_mask
uri/improve_get_unique_points_mask
January 16, 2024 16:10 21m 43s
pages build and deployment with artifacts-next pages-build-deployment #11: by github-pages bot
January 16, 2024 13:01 1m 18s gh-pages-history
gh-pages-history
January 16, 2024 13:01 1m 18s
Rename frontpage badges Quality checks #4342: Pull request #802 synchronize by uri-granta
January 16, 2024 11:49 21m 27s uri/rename_deploy_yaml
uri/rename_deploy_yaml
January 16, 2024 11:49 21m 27s
Rename frontpage badges Quality checks #4341: Pull request #802 synchronize by uri-granta
January 16, 2024 11:47 21m 34s uri/rename_deploy_yaml
uri/rename_deploy_yaml
January 16, 2024 11:47 21m 34s
Rename frontpage badges Quality checks #4340: Pull request #802 synchronize by uri-granta
January 16, 2024 11:42 21m 55s uri/rename_deploy_yaml
uri/rename_deploy_yaml
January 16, 2024 11:42 21m 55s
Various linting suggestions (#807) Develop documentation build #162: Commit 5478896 pushed by uri-granta
January 16, 2024 11:08 3h 39m 32s develop
develop
January 16, 2024 11:08 3h 39m 32s
Various linting suggestions (#807) Develop checks #453: Commit 5478896 pushed by uri-granta
January 16, 2024 11:08 1h 51m 51s develop
develop
January 16, 2024 11:08 1h 51m 51s
Initial point samplers Quality checks #4339: Pull request #808 synchronize by uri-granta
January 16, 2024 09:00 21m 56s uri/split_initial_point_generation
uri/split_initial_point_generation
January 16, 2024 09:00 21m 56s
Initial point samplers Quality checks #4338: Pull request #808 synchronize by uri-granta
January 16, 2024 08:57 21m 39s uri/split_initial_point_generation
uri/split_initial_point_generation
January 16, 2024 08:57 21m 39s
Initial point samplers Quality checks #4337: Pull request #808 synchronize by uri-granta
January 16, 2024 08:55 20m 53s uri/split_initial_point_generation
uri/split_initial_point_generation
January 16, 2024 08:55 20m 53s
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 gh-pages-history
gh-pages-history
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.