Skip to content

Actions: ethereum/solidity

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests External contributor greeter #829: Pull request #15146 opened by pgebal
May 24, 2024 15:27 9s
May 24, 2024 15:27 9s
Check stale issues and pull requests Check stale issues and pull requests #545: Scheduled
May 24, 2024 12:04 15s develop
develop
May 24, 2024 12:04 15s
Fix segfault in nested tuple to tuple assignments External contributor greeter #828: Pull request #15145 opened by nikola-matic
May 24, 2024 09:26 10s
May 24, 2024 09:26 10s
Release checklist update after 0.8.26 External contributor greeter #827: Pull request #15140 opened by cameel
May 23, 2024 17:41 17s
May 23, 2024 17:41 17s
SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation External contributor greeter #826: Pull request #15135 opened by pgebal
May 23, 2024 13:08 9s
May 23, 2024 13:08 9s
Check stale issues and pull requests Check stale issues and pull requests #544: Scheduled
May 23, 2024 12:04 19s develop
develop
May 23, 2024 12:04 19s
formal test smod implementation corresponds to EVM smod External contributor greeter #825: Pull request #15133 opened by clonker
May 23, 2024 08:48 10s
May 23, 2024 08:48 10s
test for unlimited string literal in IR via yul External contributor greeter #824: Pull request #15131 opened by clonker
May 22, 2024 13:05 12s
May 22, 2024 13:05 12s
Check stale issues and pull requests Check stale issues and pull requests #543: Scheduled
May 22, 2024 12:05 18s develop
develop
May 22, 2024 12:05 18s
Add exclusion for code that compiles only via IR to docs_version_pragma_check script External contributor greeter #823: Pull request #15130 opened by nikola-matic
May 22, 2024 11:02 10s
May 22, 2024 11:02 10s
Check stale issues and pull requests Check stale issues and pull requests #542: Scheduled
May 21, 2024 12:04 18m 27s develop
develop
May 21, 2024 12:04 18m 27s
Set version to 0.8.27 External contributor greeter #822: Pull request #15126 opened by nikola-matic
May 21, 2024 10:09 14s
May 21, 2024 10:09 14s
Revert "Set version to 0 8 27" External contributor greeter #821: Pull request #15125 opened by nikola-matic
May 21, 2024 08:03 14s
May 21, 2024 08:03 14s
Check stale issues and pull requests Check stale issues and pull requests #541: Scheduled
May 20, 2024 12:06 13s develop
develop
May 20, 2024 12:06 13s
Set version to 0 8 27 External contributor greeter #820: Pull request #15123 opened by nikola-matic
May 20, 2024 11:36 9s
May 20, 2024 11:36 9s
Set release date for 0.8.26 External contributor greeter #819: Pull request #15122 opened by nikola-matic
May 20, 2024 11:35 10s
May 20, 2024 11:35 10s
Add stopAfter setting to syntax tests External contributor greeter #818: Pull request #15121 opened by matheusaaguiar
May 20, 2024 02:33 9s
May 20, 2024 02:33 9s
Correct modifier order in example External contributor greeter #817: Pull request #15120 opened by ScreamingHawk
May 20, 2024 02:21 12s
May 20, 2024 02:21 12s
Update ossfuzz's README.md External contributor greeter #816: Pull request #15119 opened by haoyang9804
May 20, 2024 01:57 11s
May 20, 2024 01:57 11s
Fixed typo regarding bytes compared to bytes1[] in the docs External contributor greeter #815: Pull request #15118 opened by 0xCooki
May 19, 2024 14:19 11s
May 19, 2024 14:19 11s
Check stale issues and pull requests Check stale issues and pull requests #540: Scheduled
May 19, 2024 12:04 13s develop
develop
May 19, 2024 12:04 13s
Check stale issues and pull requests Check stale issues and pull requests #539: Scheduled
May 18, 2024 12:04 12s develop
develop
May 18, 2024 12:04 12s
Remove included directories check for using std External contributor greeter #814: Pull request #15115 opened by nikola-matic
May 17, 2024 14:42 11s
May 17, 2024 14:42 11s
Check stale issues and pull requests Check stale issues and pull requests #538: Scheduled
May 17, 2024 12:04 17s develop
develop
May 17, 2024 12:04 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