Skip to content

Actions: Dstack-TEE/dstack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(ci): add trusted publisher release workflows for JS and Python SDKs SDK tests #1208: Pull request #686 synchronize by Leechael
5m 26s feat/sdk-release-workflows
feat/sdk-release-workflows
5m 26s
feat(ci): add trusted publisher release workflows for JS and Python SDKs VMM UI build #828: Pull request #686 synchronize by Leechael
23s feat/sdk-release-workflows
feat/sdk-release-workflows
23s
feat(ci): add trusted publisher release workflows for JS and Python SDKs Prek checks #378: Pull request #686 synchronize by Leechael
24s feat/sdk-release-workflows
feat/sdk-release-workflows
24s
feat(ci): add trusted publisher release workflows for JS and Python SDKs Docker Build Check #447: Pull request #686 synchronize by Leechael
12m 2s feat/sdk-release-workflows
feat/sdk-release-workflows
12m 2s
feat(ci): add trusted publisher release workflows for JS and Python SDKs SPDX License Check #1118: Pull request #686 synchronize by Leechael
19s feat/sdk-release-workflows
feat/sdk-release-workflows
19s
feat(ci): add trusted publisher release workflows for JS and Python SDKs Rust checks #1852: Pull request #686 synchronize by Leechael
9m 24s feat/sdk-release-workflows
feat/sdk-release-workflows
9m 24s
PR #686 CodeQL #1155: by Leechael
12m 49s refs/pull/686/head
refs/pull/686/head
12m 49s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… VMM UI build #827: Commit 2af9ac2 pushed by h4x3rotab
18s master
master
18s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… Docker Build Check #446: Commit 2af9ac2 pushed by h4x3rotab
12m 13s master
master
12m 13s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… Prek checks #377: Commit 2af9ac2 pushed by h4x3rotab
24s master
master
24s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… Rust checks #1851: Commit 2af9ac2 pushed by h4x3rotab
8m 49s master
master
8m 49s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… SDK tests #1207: Commit 2af9ac2 pushed by h4x3rotab
7m 2s master
master
7m 2s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… SPDX License Check #1117: Commit 2af9ac2 pushed by h4x3rotab
17s master
master
17s
Merge pull request #689 from Dstack-TEE/feat/auth-eth-formal-verifica… KMS Auth-ETH Foundry Tests #56: Commit 2af9ac2 pushed by h4x3rotab
1m 6s master
master
1m 6s
Push on master CodeQL #1154: by h4x3rotab
13m 11s master
master
13m 11s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec SDK tests #1206: Pull request #689 synchronize by h4x3rotab
7m 11s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
7m 11s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec Docker Build Check #445: Pull request #689 synchronize by h4x3rotab
11m 57s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
11m 57s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec SPDX License Check #1116: Pull request #689 synchronize by h4x3rotab
14s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
14s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec Prek checks #376: Pull request #689 synchronize by h4x3rotab
29s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
29s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec VMM UI build #826: Pull request #689 synchronize by h4x3rotab
18s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
18s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec Rust checks #1850: Pull request #689 synchronize by h4x3rotab
8m 58s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
8m 58s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec KMS Auth-ETH Foundry Tests #55: Pull request #689 synchronize by h4x3rotab
1m 20s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 20s
PR #689 CodeQL #1153: by h4x3rotab
13m 0s refs/pull/689/head
refs/pull/689/head
13m 0s
docs(kms/auth-eth): add formal specification KMS Auth-ETH Foundry Tests #54: Commit 80c4368 pushed by h4x3rotab
1m 6s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 6s
cargo in /key-provider-build for rand - Update #1391506559 Dependabot Updates #397: by dependabot Bot
33s master
master
33s