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
cargo in /. for rustls-webpki - Update #1391506558 Dependabot Updates #396: by dependabot Bot
53s master
master
53s
Merge pull request #252 from Dstack-TEE/foundry VMM UI build #825: Commit d671cce pushed by h4x3rotab
17s master
master
17s
Merge pull request #252 from Dstack-TEE/foundry Rust checks #1849: Commit d671cce pushed by h4x3rotab
9m 2s master
master
9m 2s
Merge pull request #252 from Dstack-TEE/foundry SDK tests #1205: Commit d671cce pushed by h4x3rotab
6m 55s master
master
6m 55s
Merge pull request #252 from Dstack-TEE/foundry Prek checks #375: Commit d671cce pushed by h4x3rotab
25s master
master
25s
Merge pull request #252 from Dstack-TEE/foundry KMS Auth-ETH Foundry Tests #53: Commit d671cce pushed by h4x3rotab
1m 17s master
master
1m 17s
Merge pull request #252 from Dstack-TEE/foundry Docker Build Check #444: Commit d671cce pushed by h4x3rotab
12m 10s master
master
12m 10s
Merge pull request #252 from Dstack-TEE/foundry SPDX License Check #1115: Commit d671cce pushed by h4x3rotab
15s master
master
15s
Push on master CodeQL #1152: by h4x3rotab
13m 23s master
master
13m 23s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec KMS Auth-ETH Foundry Tests #52: Pull request #689 synchronize by h4x3rotab
1m 6s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 6s
docs(kms/auth-eth): add formal specification KMS Auth-ETH Foundry Tests #51: Commit a7c6116 pushed by h4x3rotab
1m 19s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 19s
Migrate to Foundry Docker Build Check #443: Pull request #252 synchronize by h4x3rotab
12m 52s foundry
foundry
12m 52s
Migrate to Foundry KMS Auth-ETH Foundry Tests #50: Pull request #252 synchronize by h4x3rotab
1m 19s foundry
foundry
1m 19s
Migrate to Foundry VMM UI build #824: Pull request #252 synchronize by h4x3rotab
17s foundry
foundry
17s
Migrate to Foundry Prek checks #374: Pull request #252 synchronize by h4x3rotab
23s foundry
foundry
23s
Migrate to Foundry SDK tests #1204: Pull request #252 synchronize by h4x3rotab
6m 47s foundry
foundry
6m 47s
Migrate to Foundry Rust checks #1848: Pull request #252 synchronize by h4x3rotab
8m 44s foundry
foundry
8m 44s
Migrate to Foundry SPDX License Check #1114: Pull request #252 synchronize by h4x3rotab
15s foundry
foundry
15s
feat(kms/auth-eth): migrate from Hardhat to Foundry KMS Auth-ETH Foundry Tests #49: Commit 296be78 pushed by h4x3rotab
1m 19s foundry
foundry
1m 19s
PR #252 CodeQL #1151: by h4x3rotab
10m 6s refs/pull/252/head
refs/pull/252/head
10m 6s
feat(kms/auth-eth): formal verification — Slither + Halmos + spec KMS Auth-ETH Foundry Tests #48: Pull request #689 synchronize by h4x3rotab
1m 20s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 20s
docs(kms/auth-eth): add formal specification KMS Auth-ETH Foundry Tests #47: Commit bee8612 pushed by h4x3rotab
1m 8s feat/auth-eth-formal-verification
feat/auth-eth-formal-verification
1m 8s
Migrate to Foundry SPDX License Check #1113: Pull request #252 synchronize by h4x3rotab
12s foundry
foundry
12s
Migrate to Foundry Prek checks #373: Pull request #252 synchronize by h4x3rotab
25s foundry
foundry
25s
Migrate to Foundry VMM UI build #823: Pull request #252 synchronize by h4x3rotab
24s foundry
foundry
24s