Skip to content

Actions: alan-turing-institute/data-safe-haven

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,344 workflow runs
8,344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Raise exception when admin group name is not found
Build documentation #1473: Pull request #2196 synchronize by craddm
September 25, 2024 13:25 1m 32s craddm:admin-group-error
September 25, 2024 13:25 1m 32s
Raise exception when admin group name is not found
Test code #2465: Pull request #2196 synchronize by craddm
September 25, 2024 13:25 6m 18s craddm:admin-group-error
September 25, 2024 13:25 6m 18s
Test code - post coverage comment
Test code - post coverage comment #1301: completed by JimMadge
September 25, 2024 12:18 21s
September 25, 2024 12:18 21s
Add log messages for SRE deployment
Build documentation #1472: Pull request #2204 opened by JimMadge
September 25, 2024 12:11 1m 32s subscription_feedback
September 25, 2024 12:11 1m 32s
Add log messages for SRE deployment
Test code #2464: Pull request #2204 opened by JimMadge
September 25, 2024 12:11 6m 40s subscription_feedback
September 25, 2024 12:11 6m 40s
Add log messages for SRE deployment
Lint code #2644: Pull request #2204 opened by JimMadge
September 25, 2024 12:11 1m 25s subscription_feedback
September 25, 2024 12:11 1m 25s
Test code - post coverage comment
Test code - post coverage comment #1300: completed by JimMadge
September 25, 2024 12:04 19s
September 25, 2024 12:04 19s
Test code - post coverage comment
Test code - post coverage comment #1299: completed by JimMadge
September 25, 2024 11:59 16s
September 25, 2024 11:59 16s
WIP: use appropriate provider for SHM DNS record
Build documentation #1471: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:58 1m 30s cross_subscription
September 25, 2024 11:58 1m 30s
WIP: use appropriate provider for SHM DNS record
Lint code #2643: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:58 1m 22s cross_subscription
September 25, 2024 11:58 1m 22s
WIP: use appropriate provider for SHM DNS record
Test code #2463: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:58 6m 41s cross_subscription
September 25, 2024 11:58 6m 41s
WIP: use appropriate provider for SHM DNS record
Lint code #2642: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:52 1m 26s cross_subscription
September 25, 2024 11:52 1m 26s
WIP: use appropriate provider for SHM DNS record
Test code #2462: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:52 6m 29s cross_subscription
September 25, 2024 11:52 6m 29s
WIP: use appropriate provider for SHM DNS record
Build documentation #1470: Pull request #2202 synchronize by JimMadge
September 25, 2024 11:52 1m 29s cross_subscription
September 25, 2024 11:52 1m 29s
Test code - post coverage comment
Test code - post coverage comment #1298: completed by craddm
September 25, 2024 11:51 20s
September 25, 2024 11:51 20s
Raise exception when admin group name is not found
Build documentation #1469: Pull request #2196 synchronize by craddm
September 25, 2024 11:44 1m 31s craddm:admin-group-error
September 25, 2024 11:44 1m 31s
Raise exception when admin group name is not found
Lint code #2641: Pull request #2196 synchronize by craddm
September 25, 2024 11:44 1m 42s craddm:admin-group-error
September 25, 2024 11:44 1m 42s
Raise exception when admin group name is not found
Test code #2461: Pull request #2196 synchronize by craddm
September 25, 2024 11:44 6m 46s craddm:admin-group-error
September 25, 2024 11:44 6m 46s
Test code - post coverage comment
Test code - post coverage comment #1297: completed by craddm
September 25, 2024 10:34 22s
September 25, 2024 10:34 22s
Raise exception when admin group name is not found
Build documentation #1468: Pull request #2196 synchronize by craddm
September 25, 2024 10:28 1m 25s craddm:admin-group-error
September 25, 2024 10:28 1m 25s
Raise exception when admin group name is not found
Test code #2460: Pull request #2196 synchronize by craddm
September 25, 2024 10:28 6m 5s craddm:admin-group-error
September 25, 2024 10:28 6m 5s
Raise exception when admin group name is not found
Lint code #2640: Pull request #2196 synchronize by craddm
September 25, 2024 10:28 1m 33s craddm:admin-group-error
September 25, 2024 10:28 1m 33s
Test code - post coverage comment
Test code - post coverage comment #1296: completed by JimMadge
September 25, 2024 10:01 17s
September 25, 2024 10:01 17s
WIP: use appropriate provider for SHM DNS record
Lint code #2639: Pull request #2202 synchronize by JimMadge
September 25, 2024 09:55 1m 29s cross_subscription
September 25, 2024 09:55 1m 29s
WIP: use appropriate provider for SHM DNS record
Test code #2459: Pull request #2202 synchronize by JimMadge
September 25, 2024 09:55 6m 12s cross_subscription
September 25, 2024 09:55 6m 12s