Skip to content

Actions: ethereum/solidity

All workflows

Actions

Loading...

Showing runs from all workflows
1,217 workflow runs
1,217 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add the missing changelog entry for the new default optimizer sequence
External contributor greeter #806: Pull request #15103 opened by cameel
May 15, 2024 12:59 12s
May 15, 2024 12:59 12s
Check stale issues and pull requests
Check stale issues and pull requests #536: Scheduled
May 15, 2024 12:05 21s develop
May 15, 2024 12:05 21s
Install cvc5 in buildpack-deps
buildpack-deps #277: Pull request #15102 synchronize by r0qs
May 14, 2024 18:05 15m 30s 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
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
May 14, 2024 17:58 2m 16s
Install cvc5 in buildpack-deps
External contributor greeter #805: Pull request #15102 opened by r0qs
May 14, 2024 17:58 12s
May 14, 2024 17:58 12s
Check stale issues and pull requests
Check stale issues and pull requests #535: Scheduled
May 14, 2024 12:04 14s develop
May 14, 2024 12:04 14s
Test nightly CI on PR
External contributor greeter #804: Pull request #15101 opened by ekpyron
May 14, 2024 10:38 9s
Update bytecode size test for byzantium.
External contributor greeter #803: Pull request #15100 opened by ekpyron
May 14, 2024 10:30 11s
May 14, 2024 10:30 11s
Remove bzzr entries from static binary section in the docs
External contributor greeter #802: Pull request #15098 opened by r0qs
May 13, 2024 15:07 12s
May 13, 2024 15:07 12s
Check stale issues and pull requests
Check stale issues and pull requests #534: Scheduled
May 13, 2024 12:04 17s develop
May 13, 2024 12:04 17s
Check stale issues and pull requests
Check stale issues and pull requests #533: Scheduled
May 12, 2024 12:04 16s develop
May 12, 2024 12:04 16s
optimize CharStream class in liblangutil
External contributor greeter #801: Pull request #15095 opened by moroii69
May 12, 2024 06:05 13s
May 12, 2024 06:05 13s
Remove redundant prerequisite steps from the default optimizer sequence
External contributor greeter #800: Pull request #15092 opened by cameel
May 11, 2024 18:37 9s
Check stale issues and pull requests
Check stale issues and pull requests #532: Scheduled
May 11, 2024 12:04 15s develop
May 11, 2024 12:04 15s
Check stale issues and pull requests
Check stale issues and pull requests #531: Scheduled
May 10, 2024 12:04 13s develop
May 10, 2024 12:04 13s
Fix python version for Windows builds
External contributor greeter #799: Pull request #15090 opened by nikola-matic
May 9, 2024 19:19 10s
Check stale issues and pull requests
Check stale issues and pull requests #530: Scheduled
May 9, 2024 12:04 17s develop
May 9, 2024 12:04 17s
[ethdebug] Transport debug data through common subexpression eliminator.
External contributor greeter #797: Pull request #15088 opened by aarlt
May 9, 2024 11:28 10s
[ethdebug] Transport debug data through block flattener.
External contributor greeter #796: Pull request #15087 opened by aarlt
May 9, 2024 11:14 15s
SMTChecker: add insufficient funds verification target for CHC engine
External contributor greeter #795: Pull request #15086 opened by pgebal
May 8, 2024 16:12 14s
CI: Stop installing cvc4 on archlinux
External contributor greeter #794: Pull request #15085 opened by blishko
May 8, 2024 15:29 12s
Fix segmentation fault when assigning to a parenthesized non-tuple expression of a tuple type
External contributor greeter #793: Pull request #15084 opened by r0qs
May 8, 2024 13:52 10s
Check stale issues and pull requests
Check stale issues and pull requests #529: Scheduled
May 8, 2024 12:04 24s develop
May 8, 2024 12:04 24s