Skip to content

Actions: sky-ecosystem/sky

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable old converter Certora #182: Pull request #21 synchronize by oldchili
9m 20s turn-off-old-converter
turn-off-old-converter
9m 20s
Disable old converter .github/workflows/tests.yaml #183: Pull request #21 synchronize by oldchili
33s turn-off-old-converter
turn-off-old-converter
33s
Fix report date .github/workflows/tests.yaml #182: Commit d84f860 pushed by oldchili
23s turn-off-old-converter
turn-off-old-converter
23s
Fix report date Certora #181: Commit d84f860 pushed by oldchili
5m 1s turn-off-old-converter
turn-off-old-converter
5m 1s
Disable old converter Certora #180: Pull request #21 synchronize by oldchili
8m 16s turn-off-old-converter
turn-off-old-converter
8m 16s
Disable old converter .github/workflows/tests.yaml #181: Pull request #21 synchronize by oldchili
23s turn-off-old-converter
turn-off-old-converter
23s
Update Chainsecurity audit .github/workflows/tests.yaml #180: Commit c2b9a06 pushed by oldchili
23s turn-off-old-converter
turn-off-old-converter
23s
Update Chainsecurity audit Certora #179: Commit c2b9a06 pushed by oldchili
9m 12s turn-off-old-converter
turn-off-old-converter
9m 12s
Disable old converter Certora #178: Pull request #21 opened by oldchili
1m 53s turn-off-old-converter
turn-off-old-converter
1m 53s
Disable old converter .github/workflows/tests.yaml #179: Pull request #21 opened by oldchili
37s turn-off-old-converter
turn-off-old-converter
37s
Disable old converter .github/workflows/tests.yaml #178: Commit e91dfb7 pushed by oldchili
37s turn-off-old-converter
turn-off-old-converter
37s
Disable old converter Certora #177: Commit e91dfb7 pushed by oldchili
2m 5s turn-off-old-converter
turn-off-old-converter
2m 5s
Use block pre spell cast to run certain tests (#20) .github/workflows/tests.yaml #177: Commit db6687a pushed by sunbreak1211
27s master
master
27s
Use block pre spell cast to run certain tests (#20) Certora #176: Commit db6687a pushed by sunbreak1211
2m 52s master
master
2m 52s
Use block pre spell cast to run certain tests .github/workflows/tests.yaml #176: Pull request #20 synchronize by sunbreak1211
35s fix-test-ci
fix-test-ci
35s
Use block pre spell cast to run certain tests Certora #175: Pull request #20 synchronize by sunbreak1211
2m 44s fix-test-ci
fix-test-ci
2m 44s
Use block pre spell cast to run certain tests Certora #174: Commit c3fae73 pushed by sunbreak1211
2m 56s fix-test-ci
fix-test-ci
2m 56s
Use block pre spell cast to run certain tests .github/workflows/tests.yaml #175: Commit c3fae73 pushed by sunbreak1211
25s fix-test-ci
fix-test-ci
25s
Use block pre spell cast to run certain tests Certora #173: Pull request #20 opened by sunbreak1211
6m 21s fix-test-ci
fix-test-ci
6m 21s
Use block pre spell cast to run certain tests .github/workflows/tests.yaml #174: Pull request #20 opened by sunbreak1211
25s fix-test-ci
fix-test-ci
25s
Comment test that doesn't apply anymore Certora #172: Commit eb9b4df pushed by sunbreak1211
9m 22s fix-test-ci
fix-test-ci
9m 22s
Comment test that doesn't apply anymore .github/workflows/tests.yaml #173: Commit eb9b4df pushed by sunbreak1211
34s fix-test-ci
fix-test-ci
34s
One direction converter (#17) .github/workflows/tests.yaml #172: Commit fc92c70 pushed by oldchili
27s master
master
27s
One direction converter (#17) Certora #171: Commit fc92c70 pushed by oldchili
6m 16s master
master
6m 16s
One direction converter Certora #170: Pull request #17 synchronize by sunbreak1211
4m 3s one-direction
one-direction
4m 3s