Nothing Special   »   [go: up one dir, main page]
Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #82: Pull request #23 synchronize by merendamattia
October 5, 2024 08:28 3m 2s truth-ground
truth-ground
October 5, 2024 08:28 3m 2s
Updated readme Gradle Build (non-master branch) #180: Commit bb9d323 pushed by merendamattia
October 5, 2024 08:28 2m 55s truth-ground
truth-ground
October 5, 2024 08:28 2m 55s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #81: Pull request #23 synchronize by merendamattia
October 5, 2024 08:25 3m 8s truth-ground
truth-ground
October 5, 2024 08:25 3m 8s
Updated readme Gradle Build (non-master branch) #179: Commit b43c203 pushed by merendamattia
October 5, 2024 08:25 3m 11s truth-ground
truth-ground
October 5, 2024 08:25 3m 11s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #80: Pull request #23 synchronize by VincenzoArceri
October 4, 2024 10:26 2m 59s truth-ground
truth-ground
October 4, 2024 10:26 2m 59s
Add singleton dummy constant for opcode semantics Gradle Build (non-master branch) #178: Commit 9595383 pushed by VincenzoArceri
October 4, 2024 10:26 3m 8s truth-ground
truth-ground
October 4, 2024 10:26 3m 8s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #79: Pull request #23 synchronize by VincenzoArceri
October 4, 2024 09:56 3m 11s truth-ground
truth-ground
October 4, 2024 09:56 3m 11s
Tests do not dump json reports Gradle Build (non-master branch) #177: Commit 4cfab13 pushed by VincenzoArceri
October 4, 2024 09:56 2m 59s truth-ground
truth-ground
October 4, 2024 09:56 2m 59s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #78: Pull request #23 synchronize by VincenzoArceri
October 4, 2024 09:37 3m 14s truth-ground
truth-ground
October 4, 2024 09:37 3m 14s
Apply spotless Gradle Build (non-master branch) #176: Commit 6a83373 pushed by VincenzoArceri
October 4, 2024 09:37 3m 5s truth-ground
truth-ground
October 4, 2024 09:37 3m 5s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #77: Pull request #23 synchronize by merendamattia
October 4, 2024 07:51 3m 12s truth-ground
truth-ground
October 4, 2024 07:51 3m 12s
Fixed bug in test ground truth Gradle Build (non-master branch) #175: Commit 1e2d8a0 pushed by merendamattia
October 4, 2024 07:51 3m 10s truth-ground
truth-ground
October 4, 2024 07:51 3m 10s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #76: Pull request #23 synchronize by merendamattia
October 3, 2024 15:43 2m 10s truth-ground
truth-ground
October 3, 2024 15:43 2m 10s
Fixed tests and restored SLOAD operator Gradle Build (non-master branch) #174: Commit 36a2ffb pushed by merendamattia
October 3, 2024 15:43 2m 17s truth-ground
truth-ground
October 3, 2024 15:43 2m 17s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #75: Pull request #23 synchronize by VincenzoArceri
October 3, 2024 15:05 2m 14s truth-ground
truth-ground
October 3, 2024 15:05 2m 14s
Javadoc, minor changes Gradle Build (non-master branch) #173: Commit 096d51f pushed by VincenzoArceri
October 3, 2024 15:05 2m 13s truth-ground
truth-ground
October 3, 2024 15:05 2m 13s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #74: Pull request #23 synchronize by VincenzoArceri
October 3, 2024 09:59 2m 3s truth-ground
truth-ground
October 3, 2024 09:59 2m 3s
Apply spotless Gradle Build (non-master branch) #172: Commit fde19a4 pushed by VincenzoArceri
October 3, 2024 09:59 2m 13s truth-ground
truth-ground
October 3, 2024 09:59 2m 13s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #73: Pull request #23 synchronize by VincenzoArceri
October 3, 2024 09:53 49s truth-ground
truth-ground
October 3, 2024 09:53 49s
KIntegerSet replaced with StackElement (to check abstract semantics Gradle Build (non-master branch) #171: Commit 325dad8 pushed by VincenzoArceri
October 3, 2024 09:53 58s truth-ground
truth-ground
October 3, 2024 09:53 58s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #72: Pull request #23 synchronize by merendamattia
October 2, 2024 08:23 2m 16s truth-ground
truth-ground
October 2, 2024 08:23 2m 16s
Refactoring and optimizations Gradle Build (non-master branch) #170: Commit 912e17b pushed by merendamattia
October 2, 2024 08:23 2m 5s truth-ground
truth-ground
October 2, 2024 08:23 2m 5s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #71: Pull request #23 synchronize by VincenzoArceri
October 2, 2024 07:23 2m 10s truth-ground
truth-ground
October 2, 2024 07:23 2m 10s
Apply spotless Gradle Build (non-master branch) #169: Commit ad1c15a pushed by VincenzoArceri
October 2, 2024 07:23 2m 16s truth-ground
truth-ground
October 2, 2024 07:23 2m 16s
Ground Truth and Dockerfile Pull request on master: compile, build and spotless check #70: Pull request #23 synchronize by VincenzoArceri
October 2, 2024 07:07 2m 7s truth-ground
truth-ground
October 2, 2024 07:07 2m 7s