Skip to content

Actions: lisa-analyzer/evm-lisa

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated tests
Gradle Build (non-master branch) #101: Commit 99b009a pushed by merendamattia
March 4, 2024 15:46 1m 2s stack-set
March 4, 2024 15:46 1m 2s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #44: Pull request #18 synchronize by merendamattia
March 4, 2024 09:37 1m 0s stack-set
March 4, 2024 09:37 1m 0s
Some optimization
Gradle Build (non-master branch) #100: Commit 8187c2f pushed by merendamattia
March 4, 2024 09:37 57s stack-set
March 4, 2024 09:37 57s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #43: Pull request #18 synchronize by merendamattia
March 4, 2024 09:00 1m 5s stack-set
March 4, 2024 09:00 1m 5s
Updated representation() and tests
Gradle Build (non-master branch) #99: Commit 737620d pushed by merendamattia
March 4, 2024 09:00 58s stack-set
March 4, 2024 09:00 58s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #42: Pull request #18 synchronize by VincenzoArceri
March 4, 2024 08:25 1m 2s stack-set
March 4, 2024 08:25 1m 2s
Minor changes
Gradle Build (non-master branch) #98: Commit 2cc63c3 pushed by VincenzoArceri
March 4, 2024 08:25 57s stack-set
March 4, 2024 08:25 57s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #41: Pull request #18 synchronize by merendamattia
March 3, 2024 18:50 1m 10s stack-set
March 3, 2024 18:50 1m 10s
Minor changes
Gradle Build (non-master branch) #97: Commit 8435657 pushed by merendamattia
March 3, 2024 18:49 57s stack-set
March 3, 2024 18:49 57s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #40: Pull request #18 synchronize by merendamattia
March 3, 2024 16:23 1m 10s stack-set
March 3, 2024 16:23 1m 10s
Minor changes
Gradle Build (non-master branch) #96: Commit 3e80249 pushed by merendamattia
March 3, 2024 16:23 1m 7s stack-set
March 3, 2024 16:23 1m 7s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #39: Pull request #18 synchronize by merendamattia
March 3, 2024 16:20 1m 0s stack-set
March 3, 2024 16:20 1m 0s
Updated tests
Gradle Build (non-master branch) #95: Commit 27e1170 pushed by merendamattia
March 3, 2024 16:20 1m 1s stack-set
March 3, 2024 16:20 1m 1s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #38: Pull request #18 synchronize by VincenzoArceri
March 3, 2024 12:17 57s stack-set
March 3, 2024 12:17 57s
Fixed equals and hashCode for KIntegerSet
Gradle Build (non-master branch) #94: Commit 96de3af pushed by VincenzoArceri
March 3, 2024 12:17 58s stack-set
March 3, 2024 12:17 58s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #37: Pull request #18 synchronize by merendamattia
March 3, 2024 11:51 56s stack-set
March 3, 2024 11:51 56s
Fixed MAX value
Gradle Build (non-master branch) #93: Commit 29fc9e6 pushed by merendamattia
March 3, 2024 11:51 55s stack-set
March 3, 2024 11:51 55s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #36: Pull request #18 synchronize by VincenzoArceri
March 3, 2024 11:30 56s stack-set
March 3, 2024 11:30 56s
Removed not jumpdest top element from KIntegerSet
Gradle Build (non-master branch) #92: Commit 4c7d850 pushed by VincenzoArceri
March 3, 2024 11:30 56s stack-set
March 3, 2024 11:30 56s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #35: Pull request #18 synchronize by merendamattia
March 3, 2024 11:24 57s stack-set
March 3, 2024 11:24 57s
Minor changes
Gradle Build (non-master branch) #91: Commit 7e2673a pushed by merendamattia
March 3, 2024 11:24 58s stack-set
March 3, 2024 11:24 58s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #34: Pull request #18 synchronize by merendamattia
March 3, 2024 10:50 1m 8s stack-set
March 3, 2024 10:50 1m 8s
Fixed DIV
Gradle Build (non-master branch) #90: Commit 0e594a0 pushed by merendamattia
March 3, 2024 10:50 55s stack-set
March 3, 2024 10:50 55s
Added domain AbstractStackSet
Pull request on master: compile, build and spotless check #33: Pull request #18 synchronize by VincenzoArceri
March 3, 2024 09:27 1m 1s stack-set
March 3, 2024 09:27 1m 1s
Draft implementation for storage
Gradle Build (non-master branch) #89: Commit 7d775ad pushed by VincenzoArceri
March 3, 2024 09:27 1m 0s stack-set
March 3, 2024 09:27 1m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-03-03 or the other filters available.