Skip to content

Actions: lisa-analyzer/evm-lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changed test class Gradle Build (non-master branch) #5: Commit fae1372 pushed by VincenzoArceri
February 13, 2024 16:31 1h 9m 58s fixes
fixes
February 13, 2024 16:31 1h 9m 58s
Merge pull request #16 from lisa-analyzer/assume-jumpi Gradle Build (master branch) #3: Commit 5344f95 pushed by merendamattia
February 12, 2024 14:42 57s master
master
February 12, 2024 14:42 57s
assume method for JUMPI Pull request on master: compile, build and spotless check #4: Pull request #16 synchronize by VincenzoArceri
February 12, 2024 11:16 56s assume-jumpi
assume-jumpi
February 12, 2024 11:16 56s
Changing stack limit Gradle Build (non-master branch) #4: Commit 912d4a7 pushed by VincenzoArceri
February 12, 2024 11:16 54s assume-jumpi
assume-jumpi
February 12, 2024 11:16 54s
assume method for JUMPI Pull request on master: compile, build and spotless check #3: Pull request #16 synchronize by VincenzoArceri
February 12, 2024 11:13 59s assume-jumpi
assume-jumpi
February 12, 2024 11:13 59s
Apply spotless Gradle Build (non-master branch) #3: Commit 9fbce95 pushed by VincenzoArceri
February 12, 2024 11:13 59s assume-jumpi
assume-jumpi
February 12, 2024 11:13 59s
assume method for JUMPI Pull request on master: compile, build and spotless check #2: Pull request #16 opened by VincenzoArceri
February 12, 2024 10:02 1m 2s assume-jumpi
assume-jumpi
February 12, 2024 10:02 1m 2s
Fixed assume semantics for JUMPI Gradle Build (non-master branch) #2: Commit 19c53f9 pushed by VincenzoArceri
February 12, 2024 09:53 1m 0s assume-jumpi
assume-jumpi
February 12, 2024 09:53 1m 0s
Merge pull request #15 from lisa-analyzer/jd Gradle Build (master branch) #2: Commit ec2630b pushed by VincenzoArceri
February 10, 2024 11:31 57s master
master
February 10, 2024 11:31 57s
Refactoring tests Pull request on master: compile, build and spotless check #1: Pull request #15 opened by VincenzoArceri
February 10, 2024 11:29 56s jd
jd
February 10, 2024 11:29 56s
Refactoring tests Gradle Build (non-master branch) #1: Commit 8448799 pushed by VincenzoArceri
February 10, 2024 11:29 1m 4s jd
jd
February 10, 2024 11:29 1m 4s
Update README.md Gradle Build (master branch) #1: Commit 91158d0 pushed by VincenzoArceri
February 10, 2024 11:21 1m 3s master
master
February 10, 2024 11:21 1m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-02-10 or the other filters available.