Skip to content

Actions: ethereum/solidity

Actions

External contributor greeter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
welcome-external-pr.yml
639 workflow runs
639 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update .editorconfig External contributor greeter #1089: Pull request #15572 opened by chen-liang-CN
November 10, 2024 17:46 11s
November 10, 2024 17:46 11s
Add an explicit check against out-of-range proposal ID to the voting example External contributor greeter #1088: Pull request #15570 opened by petri-choir
November 7, 2024 04:03 12s
November 7, 2024 04:03 12s
refine specification to add rules about calldata in constructor External contributor greeter #1087: Pull request #15566 opened by haoyang9804
November 4, 2024 17:27 13s
November 4, 2024 17:27 13s
External benchmarks for older solc versions External contributor greeter #1086: Pull request #15561 opened by cameel
November 1, 2024 01:25 12s
November 1, 2024 01:25 12s
Yul AST contains dialect External contributor greeter #1085: Pull request #15560 opened by clonker
October 31, 2024 16:45 12s
October 31, 2024 16:45 12s
EOF: Implement ext*calls External contributor greeter #1084: Pull request #15559 opened by rodiazet
October 31, 2024 15:25 13s
October 31, 2024 15:25 13s
SMTChecker + CI: Update versions of solvers and test expectations External contributor greeter #1083: Pull request #15558 opened by blishko
October 31, 2024 14:11 12s
October 31, 2024 14:11 12s
Yul SSACFG JSON export fix External contributor greeter #1082: Pull request #15557 opened by clonker
October 31, 2024 09:39 12s
October 31, 2024 09:39 12s
Set correct movableApartFromEffects flag for datacopy() External contributor greeter #1081: Pull request #15556 opened by cameel
October 30, 2024 19:51 10s
October 30, 2024 19:51 10s
eof: Implement stack height calculation External contributor greeter #1080: Pull request #15555 opened by rodiazet
October 30, 2024 16:31 15s
October 30, 2024 16:31 15s
Add submodule path to git safe.directory before initialize the submodule External contributor greeter #1079: Pull request #15554 opened by r0qs
October 30, 2024 11:43 13s
October 30, 2024 11:43 13s
soltest pass for EOF External contributor greeter #1078: Pull request #15552 opened by cameel
October 29, 2024 14:42 13s
October 29, 2024 14:42 13s
Docker: Update Z3 and cvc5 versions in docker images External contributor greeter #1077: Pull request #15551 opened by blishko
October 29, 2024 11:21 15s
October 29, 2024 11:21 15s
eof: Support functions (CALLF, RETF, JUMPF) External contributor greeter #1076: Pull request #15550 opened by rodiazet
October 29, 2024 10:42 13s
October 29, 2024 10:42 13s
eof: Update dataloadn test with new immediate arguments formating External contributor greeter #1075: Pull request #15549 opened by rodiazet
October 29, 2024 08:41 12s
October 29, 2024 08:41 12s
Fix link to the homebrew formula on the release checklist External contributor greeter #1074: Pull request #15548 opened by pucedoteth
October 28, 2024 23:34 15s
October 28, 2024 23:34 15s
eof: Support relative jumps External contributor greeter #1073: Pull request #15547 opened by rodiazet
October 25, 2024 14:47 15s
October 25, 2024 14:47 15s
Yulopti: Fix error during parsing stage External contributor greeter #1072: Pull request #15546 opened by clonker
October 25, 2024 10:15 13s
October 25, 2024 10:15 13s
eof: Change convention for printing immediate arguments in assembly External contributor greeter #1071: Pull request #15545 opened by rodiazet
October 25, 2024 09:34 12s
October 25, 2024 09:34 12s
More informative output for failed CLI tests in CI External contributor greeter #1070: Pull request #15544 opened by cameel
October 25, 2024 01:38 11s
October 25, 2024 01:38 11s
Fix verbatim control flow side effects External contributor greeter #1069: Pull request #15542 opened by rodiazet
October 23, 2024 09:59 12s
October 23, 2024 09:59 12s
SSACFGBuilder: Descent into constant condition for loops' conditions External contributor greeter #1068: Pull request #15541 opened by clonker
October 23, 2024 09:03 17s
October 23, 2024 09:03 17s
Updated CMake files to use CMAKE_CURRENT_SOURCE_DIR External contributor greeter #1067: Pull request #15539 opened by fagsctvg
October 23, 2024 01:36 12s
October 23, 2024 01:36 12s
Mark prague as experimental in a few places where it was not so External contributor greeter #1066: Pull request #15538 opened by cameel
October 22, 2024 14:16 14s
October 22, 2024 14:16 14s
Remove remaining artifacts of dynamically loading Z3. External contributor greeter #1065: Pull request #15537 opened by ekpyron
October 22, 2024 14:03 12s
October 22, 2024 14:03 12s