Skip to content

Actions: ethereum/solidity

Actions

buildpack-deps

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
buildpack-deps.yml
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump evmone to v0.12.0 and add ubuntu2404 image buildpack-deps #288: Pull request #15321 synchronize by nikola-matic
August 9, 2024 09:33 55m 25s bump-evmc-and-evmone-to-12
bump-evmc-and-evmone-to-12
August 9, 2024 09:33 55m 25s
Bump evmone to v0.12.0 and add ubuntu2404 image buildpack-deps #287: Pull request #15321 opened by nikola-matic
August 9, 2024 08:36 53m 39s bump-evmc-and-evmone-to-12
bump-evmc-and-evmone-to-12
August 9, 2024 08:36 53m 39s
Update evmc to 12.0.0 and evmone to 0.12.0 buildpack-deps #286: Pull request #15320 synchronize by rodiazet
August 8, 2024 13:13 27s ipsilon:evmc-evmone-12
ipsilon:evmc-evmone-12
August 8, 2024 13:13 27s
Update evmc to 12.0.0 and evmone to 0.12.0 buildpack-deps #285: Pull request #15320 opened by rodiazet
August 8, 2024 13:12 26s ipsilon:evmc-evmone-12
ipsilon:evmc-evmone-12
August 8, 2024 13:12 26s
Use submodules for some dependencies. buildpack-deps #284: Pull request #15195 synchronize by aarlt
June 12, 2024 18:28 28s some_dependencies_as_git_submodules
some_dependencies_as_git_submodules
June 12, 2024 18:28 28s
Install cvc5 in buildpack-deps buildpack-deps #283: Pull request #15102 synchronize by r0qs
June 6, 2024 15:56 26s install-cvc5
install-cvc5
June 6, 2024 15:56 26s
SMTChecker: Upgrade CVC4 to cvc5 and switch from API to SMT-LIB2 interface buildpack-deps #282: Pull request #15078 synchronize by blishko
May 29, 2024 17:50 17m 41s smt-cvc4-switch
smt-cvc4-switch
May 29, 2024 17:50 17m 41s
Install cvc5 in buildpack-deps buildpack-deps #281: Pull request #15102 synchronize by r0qs
May 29, 2024 13:58 17s install-cvc5
install-cvc5
May 29, 2024 13:58 17s
Install cvc5 in buildpack-deps buildpack-deps #280: Pull request #15102 synchronize by r0qs
May 16, 2024 14:57 17s install-cvc5
install-cvc5
May 16, 2024 14:57 17s
Install cvc5 in buildpack-deps buildpack-deps #279: Pull request #15102 synchronize by r0qs
May 16, 2024 14:48 19s install-cvc5
install-cvc5
May 16, 2024 14:48 19s
Install cvc5 in buildpack-deps buildpack-deps #278: Pull request #15102 synchronize by r0qs
May 15, 2024 14:08 54m 40s install-cvc5
install-cvc5
May 15, 2024 14:08 54m 40s
Install cvc5 in buildpack-deps buildpack-deps #277: Pull request #15102 synchronize by r0qs
May 14, 2024 18:05 15m 30s install-cvc5
install-cvc5
May 14, 2024 18:05 15m 30s
Install cvc5 in buildpack-deps buildpack-deps #276: Pull request #15102 synchronize by r0qs
May 14, 2024 18:02 3m 27s install-cvc5
install-cvc5
May 14, 2024 18:02 3m 27s
Install cvc5 in buildpack-deps buildpack-deps #275: Pull request #15102 opened by r0qs
May 14, 2024 17:58 2m 16s install-cvc5
install-cvc5
May 14, 2024 17:58 2m 16s
Install python dependencies on buildpack-deps images buildpack-deps #274: Pull request #15059 synchronize by r0qs
April 26, 2024 15:07 49m 59s add-python-pkgs-buildpack-deps
add-python-pkgs-buildpack-deps
April 26, 2024 15:07 49m 59s
Install python dependencies on buildpack-deps images buildpack-deps #273: Pull request #15059 synchronize by r0qs
April 26, 2024 12:44 50m 16s add-python-pkgs-buildpack-deps
add-python-pkgs-buildpack-deps
April 26, 2024 12:44 50m 16s
Install python dependencies on buildpack-deps images buildpack-deps #272: Pull request #15059 opened by r0qs
April 26, 2024 12:41 29s add-python-pkgs-buildpack-deps
add-python-pkgs-buildpack-deps
April 26, 2024 12:41 29s
Bump clang docker images buildpack-deps #267: Pull request #14977 opened by r0qs
April 3, 2024 10:42 42m 40s bump-clang-docker-images
bump-clang-docker-images
April 3, 2024 10:42 42m 40s
Install Eldarica on Ubuntu Clang images buildpack-deps #266: Pull request #14976 opened by r0qs
April 3, 2024 09:41 43m 12s eldarica-ubuntu-clang-images
eldarica-ubuntu-clang-images
April 3, 2024 09:41 43m 12s
Install eldarica on ubuntu base images and osx machines buildpack-deps #265: Pull request #14962 synchronize by r0qs
March 27, 2024 15:07 48m 25s add-eldarica-ci
add-eldarica-ci
March 27, 2024 15:07 48m 25s
Install eldarica on ubuntu base images and osx machines buildpack-deps #264: Pull request #14962 synchronize by r0qs
March 26, 2024 15:06 20s add-eldarica-ci
add-eldarica-ci
March 26, 2024 15:06 20s
Install eldarica on ubuntu base images and osx machines buildpack-deps #263: Pull request #14962 synchronize by r0qs
March 26, 2024 14:57 16s add-eldarica-ci
add-eldarica-ci
March 26, 2024 14:57 16s
Install eldarica on ubuntu base images and osx machines buildpack-deps #262: Pull request #14962 synchronize by r0qs
March 26, 2024 14:51 19s add-eldarica-ci
add-eldarica-ci
March 26, 2024 14:51 19s
Install eldarica on ubuntu base images and osx machines buildpack-deps #261: Pull request #14962 synchronize by r0qs
March 26, 2024 13:14 14s add-eldarica-ci
add-eldarica-ci
March 26, 2024 13:14 14s
Install eldarica on ubuntu base images and osx machines buildpack-deps #260: Pull request #14962 synchronize by r0qs
March 26, 2024 12:46 22s add-eldarica-ci
add-eldarica-ci
March 26, 2024 12:46 22s