Skip to content

Actions: Certora/certora-solana-platform-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: set SDKROOT for macOS builds Build Tools #90: Commit 46398ad pushed by 1arie1
2h 53m 2s v1.43.1-certora
v1.43.1-certora
2h 53m 2s
chore: update LLVM patch Build Tools #89: Commit 1cb9536 pushed by 1arie1
57m 26s v1.43.1-certora
v1.43.1-certora
57m 26s
chore: update llvm-sroa-novector patch Build Tools #88: Commit c657106 pushed by 1arie1
2h 19m 31s v1.41.1-certora
v1.41.1-certora
2h 19m 31s
feat: update to v1.53 Build Tools #87: Commit aae6bc2 pushed by 1arie1
2h 41m 44s v1.53-certora
v1.53-certora
2h 41m 44s
chore: update intel build to macos-15 Build Tools #86: Commit 8da68b1 pushed by 1arie1
3h 41m 23s v1.51-certora
v1.51-certora
3h 41m 23s
chore: update intel build to macos-15 Build Tools #85: Commit e062d71 pushed by 1arie1
3h 6m 29s v1.48-certora
v1.48-certora
3h 6m 29s
chore: update intel build to macos-15 Build Tools #84: Commit 922f4d1 pushed by 1arie1
3m 34s v1.48-certora
v1.48-certora
3m 34s
chore: adjust for v1.48 Build Tools #83: Commit d8e519c pushed by 1arie1
2h 2m 31s v1.48-certora
v1.48-certora
2h 2m 31s
chore: adjust for v1.46 Build Tools #82: Commit 6dc568b pushed by 1arie1
2h 20m 27s v1.46-certora
v1.46-certora
2h 20m 27s
Build Tools Build Tools #81: Manually run by 1arie1
2h 25m 0s v1.46
v1.46
2h 25m 0s
Build Tools Build Tools #80: Manually run by 1arie1
3h 17m 38s v1.48
v1.48
3h 17m 38s
Build Tools Build Tools #79: Manually run by 1arie1
2h 31m 51s v1.51
v1.51
2h 31m 51s
Build Tools Build Tools #78: Manually run by 1arie1
2h 10m 54s v1.51
v1.51
2h 10m 54s
ci: set build on ubuntu-22.04 Build Tools #77: Commit 2ff6871 pushed by 1arie1
1h 55m 29s v1.43-certora
v1.43-certora
1h 55m 29s
ci: bump rust to 1.79 Build Tools #76: Commit 552b623 pushed by 1arie1
2h 32m 34s v1.43-certora
v1.43-certora
2h 32m 34s
Build Tools Build Tools #75: Manually run by 1arie1
2h 11m 46s v1.43
v1.43
2h 11m 46s
Build Tools Build Tools #73: Manually run by 1arie1
1h 59m 24s v1.44
v1.44
1h 59m 24s