Skip to content

Actions: ethereum/solidity

Actions

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
SMTChecker: Fix error that reports invalid number of verified checks External contributor greeter #853: Pull request #15191 opened by pgebal
June 10, 2024 15:39 13s
June 10, 2024 15:39 13s
Check stale issues and pull requests Check stale issues and pull requests #562: Scheduled
June 10, 2024 12:05 20s develop
develop
June 10, 2024 12:05 20s
Check stale issues and pull requests Check stale issues and pull requests #561: Scheduled
June 9, 2024 12:04 17s develop
develop
June 9, 2024 12:04 17s
Check stale issues and pull requests Check stale issues and pull requests #560: Scheduled
June 8, 2024 12:04 16s develop
develop
June 8, 2024 12:04 16s
Check stale issues and pull requests Check stale issues and pull requests #559: Scheduled
June 7, 2024 12:06 21s develop
develop
June 7, 2024 12:06 21s
Update Natspec format to correct devdoc return parameters External contributor greeter #852: Pull request #15187 opened by shoenseiwaso
June 7, 2024 08:20 11s
June 7, 2024 08:20 11s
Remove overly specific handlers for unexpected exceptions External contributor greeter #851: Pull request #15186 opened by cameel
June 6, 2024 20:57 10s
June 6, 2024 20:57 10s
Replace unnecessary validations with assertions External contributor greeter #850: Pull request #15185 opened by cameel
June 6, 2024 20:54 12s
June 6, 2024 20:54 12s
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
Check stale issues and pull requests Check stale issues and pull requests #558: Scheduled
June 6, 2024 12:05 30s develop
develop
June 6, 2024 12:05 30s
Fix several typos in code comments External contributor greeter #849: Pull request #15184 opened by xiaoxianBoy
June 6, 2024 07:26 14s
June 6, 2024 07:26 14s
Performance benchmarks using external projects with Foundry External contributor greeter #848: Pull request #15183 opened by cameel
June 5, 2024 14:57 12s
June 5, 2024 14:57 12s
Reuse optimized IR for bytecode dependencies External contributor greeter #847: Pull request #15182 opened by cameel
June 5, 2024 12:52 12s
June 5, 2024 12:52 12s
Check stale issues and pull requests Check stale issues and pull requests #557: Scheduled
June 5, 2024 12:04 17s develop
develop
June 5, 2024 12:04 17s
Fix default EVM version in CI. External contributor greeter #846: Pull request #15181 opened by ekpyron
June 5, 2024 10:24 12s
June 5, 2024 10:24 12s
[experimental] Export yul cfg to json External contributor greeter #845: Pull request #15180 opened by r0qs
June 4, 2024 14:28 13s
June 4, 2024 14:28 13s
Check stale issues and pull requests Check stale issues and pull requests #556: Scheduled
June 4, 2024 12:04 16s develop
develop
June 4, 2024 12:04 16s
Fix a typo in the --ast-compact-json command line flag on the list of breaking changes External contributor greeter #844: Pull request #15175 opened by TilakMaddy
June 3, 2024 16:49 11s
June 3, 2024 16:49 11s
Require with custom error for legacy pipeline External contributor greeter #843: Pull request #15174 opened by nikola-matic
June 3, 2024 13:44 11s
June 3, 2024 13:44 11s
Fix outputSelection affecting compilation order External contributor greeter #842: Pull request #15173 opened by cameel
June 3, 2024 12:42 12s
June 3, 2024 12:42 12s
Check stale issues and pull requests Check stale issues and pull requests #555: Scheduled
June 3, 2024 12:05 16s develop
develop
June 3, 2024 12:05 16s
Fix changelog entry for #15149 External contributor greeter #841: Pull request #15172 opened by clonker
June 3, 2024 08:52 9s
June 3, 2024 08:52 9s
Check stale issues and pull requests Check stale issues and pull requests #554: Scheduled
June 2, 2024 12:04 16s develop
develop
June 2, 2024 12:04 16s
Check stale issues and pull requests Check stale issues and pull requests #553: Scheduled
June 1, 2024 12:04 21s develop
develop
June 1, 2024 12:04 21s
Catch unimplementedFeatureErrors and report them as errors External contributor greeter #840: Pull request #15168 opened by matheusaaguiar
May 31, 2024 15:40 9s
May 31, 2024 15:40 9s