Skip to content

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

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_documentation.yaml
1,485 workflow runs
1,485 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2196 from craddm/admin-group-error Build documentation #1485: Commit 59bca6d pushed by craddm
September 27, 2024 15:28 1m 18s develop
develop
September 27, 2024 15:28 1m 18s
Merge pull request #2206 from craddm/update-devcontainer Build documentation #1484: Commit bfd2088 pushed by craddm
September 27, 2024 15:28 1m 34s develop
develop
September 27, 2024 15:28 1m 34s
Move security group creation to Pulumi Build documentation #1483: Pull request #2160 synchronize by jemrobinson
September 27, 2024 10:29 1m 22s jemrobinson:2158-move-security-group-creation-to-pulumi
jemrobinson:2158-move-security-group-creation-to-pulumi
September 27, 2024 10:29 1m 22s
WIP: use appropriate provider for SHM DNS record Build documentation #1482: Pull request #2202 synchronize by JimMadge
September 26, 2024 10:29 1m 31s cross_subscription
cross_subscription
September 26, 2024 10:29 1m 31s
WIP: use appropriate provider for SHM DNS record Build documentation #1481: Pull request #2202 synchronize by JimMadge
September 26, 2024 10:10 1m 16s cross_subscription
cross_subscription
September 26, 2024 10:10 1m 16s
Merge pull request #2204 from alan-turing-institute/subscription_feed… Build documentation #1480: Commit 4699f05 pushed by JimMadge
September 26, 2024 10:01 1m 35s develop
develop
September 26, 2024 10:01 1m 35s
Merge pull request #2205 from alan-turing-institute/debs Build documentation #1479: Commit 14afdaf pushed by JimMadge
September 26, 2024 10:00 1m 27s develop
develop
September 26, 2024 10:00 1m 27s
Update devcontainer Build documentation #1478: Pull request #2206 opened by craddm
September 25, 2024 19:19 1m 32s craddm:update-devcontainer
craddm:update-devcontainer
September 25, 2024 19:19 1m 32s
Replace install deb script with Ansible tasks Build documentation #1477: Pull request #2205 synchronize by JimMadge
September 25, 2024 15:39 1m 31s debs
debs
September 25, 2024 15:39 1m 31s
Replace install deb script with Ansible tasks Build documentation #1476: Pull request #2205 synchronize by JimMadge
September 25, 2024 13:54 1m 32s debs
debs
September 25, 2024 13:54 1m 32s
Replace install deb script with Ansible tasks Build documentation #1475: Pull request #2205 synchronize by JimMadge
September 25, 2024 13:30 1m 32s debs
debs
September 25, 2024 13:30 1m 32s
Replace install deb script with Ansible tasks Build documentation #1474: Pull request #2205 opened by JimMadge
September 25, 2024 13:29 1m 30s debs
debs
September 25, 2024 13:29 1m 30s
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
craddm:admin-group-error
September 25, 2024 13:25 1m 32s
Add log messages for SRE deployment Build documentation #1472: Pull request #2204 opened by JimMadge
September 25, 2024 12:11 1m 32s subscription_feedback
subscription_feedback
September 25, 2024 12:11 1m 32s
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
cross_subscription
September 25, 2024 11:58 1m 30s
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
cross_subscription
September 25, 2024 11:52 1m 29s
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
craddm:admin-group-error
September 25, 2024 11:44 1m 31s
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
craddm:admin-group-error
September 25, 2024 10:28 1m 25s
WIP: use appropriate provider for SHM DNS record Build documentation #1467: Pull request #2202 synchronize by JimMadge
September 25, 2024 09:55 1m 18s cross_subscription
cross_subscription
September 25, 2024 09:55 1m 18s
WIP: use appropriate provider for SHM DNS record Build documentation #1466: Pull request #2202 synchronize by JimMadge
September 25, 2024 09:43 1m 20s cross_subscription
cross_subscription
September 25, 2024 09:43 1m 20s
Merge pull request #2192 from alan-turing-institute/tidy_ansible Build documentation #1465: Commit 3f7dce5 pushed by JimMadge
September 25, 2024 09:43 1m 44s develop
develop
September 25, 2024 09:43 1m 44s
Merge pull request #2198 from alan-turing-institute/add_mattwestby Build documentation #1464: Commit ac1d0fb pushed by JimMadge
September 25, 2024 09:43 2m 4s develop
develop
September 25, 2024 09:43 2m 4s
WIP: use appropriate provider for SHM DNS record Build documentation #1463: Pull request #2202 opened by JimMadge
September 25, 2024 09:42 1m 29s cross_subscription
cross_subscription
September 25, 2024 09:42 1m 29s
docs: add @mattwestby as a contributor Build documentation #1462: Pull request #2198 opened by JimMadge
September 24, 2024 14:07 1m 29s add_mattwestby
add_mattwestby
September 24, 2024 14:07 1m 29s
Raise exception when admin group name is not found Build documentation #1461: Pull request #2196 opened by craddm
September 24, 2024 09:11 1m 27s craddm:admin-group-error
craddm:admin-group-error
September 24, 2024 09:11 1m 27s