chore: repoint yul-semantics at the merged commit

f92a505

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CI on: pull_request 4

Resolve comparison inputs

Build native corpus runner

Build & verify

Restore reusable main baseline

solc differential (${{ matrix.name }})

Solidity gas (${{ matrix.name }})

Main baseline build & verify

Main baseline native corpus runner

Publish reusable main baseline

Main solc differential (${{ matrix.name }})

Main Solidity gas (${{ matrix.name }})

PR summary comment

CI on: pull_request 16

Resolve comparison inputs

Build native corpus runner

Build & verify

Restore reusable main baseline

solc differential (direct corpora)

solc differential (optimizer 1/5)

solc differential (optimizer 2/5)

solc differential (optimizer 3/5)

solc differential (optimizer 4/5)

solc differential (optimizer 5/5)

Solidity gas (gasTests)

Solidity gas (Uniswap v4)

Solidity gas (Aave v4)

Solidity gas (semanticTests 1/3)

Solidity gas (semanticTests 2/3)

Solidity gas (semanticTests 3/3)

Main baseline build & verify

Main baseline native corpus runner

Publish reusable main baseline

Main solc differential (${{ matrix.name }})

Main Solidity gas (${{ matrix.name }})

PR summary comment

Annotations

2 errors

Canceling since a higher priority waiting request for CI-refs/pull/138/merge exists

Canceling since a higher priority waiting request for CI-refs/pull/138/merge exists

Job log options

Download log archive

This job was cancelled

Loading

Re-running jobs...