Skip to content

Actions: CHERIoT-Platform/devcontainer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Increase disk size for CI runners
Build and push devcontainer #12: Commit 9156100 pushed by davidchisnall
41m 32s main
build rust from source
Build and push devcontainer #11: Commit d72ef89 pushed by davidchisnall
34m 36s main
Include Rust tests in smoke tests
Build and push devcontainer #10: Commit e2bb213 pushed by davidchisnall
20m 26s main
Build and push devcontainer
Build and push devcontainer #9: Manually run by davidchisnall
20m 23s main
Build and push devcontainer
Build and push devcontainer #8: Manually run by davidchisnall
20m 10s main
Use the permissions and name when installing docker
Build and push devcontainer #4: Commit 0a05067 pushed by resistor
1m 19s main
Install docker in the runners.
Build and push devcontainer #3: Commit f8d8e38 pushed by resistor
1m 3s main
Add cirun.io runner definitions.
Build and push devcontainer #2: Commit 7201624 pushed by davidchisnall
1m 5s main
Port devcontainer build to GitHub Actions.
Build and push devcontainer #1: Commit 584f525 pushed by davidchisnall
9m 59s main
Break things
CHERIoT Network-Stack HIL-CI #2: Pull request #38 synchronize by davidchisnall
22h 0m 33s break-things
Break things
CHERIoT Network-Stack HIL-CI #1: Pull request #38 opened by davidchisnall
22h 1m 18s break-things