Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow run results
118 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added domain AbstractStackSet Pull request on master: compile, build and spotless check #29: Pull request #18 synchronize by merendamattia
March 2, 2024 10:32 53s stack-set
stack-set
March 2, 2024 10:32 53s
SIGNEXTEND implementation Gradle Build (non-master branch) #85: Commit 2cb0de7 pushed by merendamattia
March 2, 2024 10:32 1m 1s stack-set
stack-set
March 2, 2024 10:32 1m 1s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #28: Pull request #18 synchronize by merendamattia
March 1, 2024 21:52 55s stack-set
stack-set
March 1, 2024 21:52 55s
Minor changes Gradle Build (non-master branch) #84: Commit 24a9be2 pushed by merendamattia
March 1, 2024 21:52 56s stack-set
stack-set
March 1, 2024 21:52 56s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #27: Pull request #18 synchronize by merendamattia
March 1, 2024 21:11 1m 0s stack-set
stack-set
March 1, 2024 21:11 1m 0s
Optimization: Added Number class Gradle Build (non-master branch) #83: Commit 3e40c48 pushed by merendamattia
March 1, 2024 21:11 1m 3s stack-set
stack-set
March 1, 2024 21:11 1m 3s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #26: Pull request #18 synchronize by VincenzoArceri
February 29, 2024 08:36 57s stack-set
stack-set
February 29, 2024 08:36 57s
Minor optimizations Gradle Build (non-master branch) #82: Commit 890e377 pushed by VincenzoArceri
February 29, 2024 08:36 57s stack-set
stack-set
February 29, 2024 08:36 57s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #25: Pull request #18 synchronize by VincenzoArceri
February 28, 2024 16:00 1m 5s stack-set
stack-set
February 28, 2024 16:00 1m 5s
Minor changes Gradle Build (non-master branch) #81: Commit 090f895 pushed by VincenzoArceri
February 28, 2024 16:00 1m 1s stack-set
stack-set
February 28, 2024 16:00 1m 1s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #24: Pull request #18 synchronize by merendamattia
February 28, 2024 15:30 1m 6s stack-set
stack-set
February 28, 2024 15:30 1m 6s
Script python Gradle Build (non-master branch) #80: Commit 08631db pushed by merendamattia
February 28, 2024 15:30 1m 3s stack-set
stack-set
February 28, 2024 15:30 1m 3s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #23: Pull request #18 synchronize by VincenzoArceri
February 28, 2024 12:35 1m 2s stack-set
stack-set
February 28, 2024 12:35 1m 2s
Maybe unsound jumps in statistics Gradle Build (non-master branch) #79: Commit d4b046e pushed by VincenzoArceri
February 28, 2024 12:35 57s stack-set
stack-set
February 28, 2024 12:35 57s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #22: Pull request #18 synchronize by VincenzoArceri
February 28, 2024 11:50 58s stack-set
stack-set
February 28, 2024 11:50 58s
Working on two types of top kinteger set Gradle Build (non-master branch) #78: Commit 5e1a6a8 pushed by VincenzoArceri
February 28, 2024 11:50 1m 1s stack-set
stack-set
February 28, 2024 11:50 1m 1s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #21: Pull request #18 synchronize by VincenzoArceri
February 27, 2024 18:23 1m 20s stack-set
stack-set
February 27, 2024 18:23 1m 20s
Unsoundness check Gradle Build (non-master branch) #77: Commit f4ecc25 pushed by VincenzoArceri
February 27, 2024 18:23 1m 16s stack-set
stack-set
February 27, 2024 18:23 1m 16s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #20: Pull request #18 synchronize by VincenzoArceri
February 27, 2024 14:38 1m 13s stack-set
stack-set
February 27, 2024 14:38 1m 13s
Some optimizations Gradle Build (non-master branch) #76: Commit 093ea9c pushed by VincenzoArceri
February 27, 2024 14:38 1m 10s stack-set
stack-set
February 27, 2024 14:38 1m 10s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #19: Pull request #18 synchronize by VincenzoArceri
February 27, 2024 12:51 1m 13s stack-set
stack-set
February 27, 2024 12:51 1m 13s
Serialize inputs/analysis set to false Gradle Build (non-master branch) #75: Commit 08a5b5e pushed by VincenzoArceri
February 27, 2024 12:51 1m 16s stack-set
stack-set
February 27, 2024 12:51 1m 16s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #18: Pull request #18 synchronize by merendamattia
February 27, 2024 11:27 1m 13s stack-set
stack-set
February 27, 2024 11:27 1m 13s
Minor changes and spotlessApply Gradle Build (non-master branch) #74: Commit 7e0df75 pushed by merendamattia
February 27, 2024 11:27 1m 17s stack-set
stack-set
February 27, 2024 11:27 1m 17s
Added domain AbstractStackSet Pull request on master: compile, build and spotless check #17: Pull request #18 synchronize by VincenzoArceri
February 27, 2024 08:47 1m 8s stack-set
stack-set
February 27, 2024 08:47 1m 8s