Skip to content

Actions: lisa-analyzer/go-lisa

Actions

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-all.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply ABCI Checker only for Cosmos sdk framework Gradle Build (non-master branch) #490: Commit 3b3f68f pushed by olivieriluca
1m 8s brains2025
brains2025
1m 8s
Test clean up and baseline regeneration Gradle Build (non-master branch) #489: Commit 3bd2374 pushed by olivieriluca
1m 4s brains2025
brains2025
1m 4s
Adding CosmosSDK signature mapper Gradle Build (non-master branch) #488: Commit a5e0c44 pushed by olivieriluca
1m 7s brains2025
brains2025
1m 7s
Added work around for the detection of tainted annotations during the… Gradle Build (non-master branch) #487: Commit fdbcd13 pushed by olivieriluca
1m 8s hf-privacy-2
hf-privacy-2
1m 8s
Updated README.md adding instructions to reproduce running example Gradle Build (non-master branch) #486: Commit d07f88c pushed by olivieriluca
1m 7s ISSRE25-cross-channels
ISSRE25-cross-channels
1m 7s
Updated README.md adding instructions to reproduce running example Gradle Build (non-master branch) #485: Commit d07f88c pushed by olivieriluca
1m 8s ISSRE25-cross-channel
ISSRE25-cross-channel
1m 8s
Updated README.md adding instructions to reproduce running example Gradle Build (non-master branch) #484: Commit d07f88c pushed by olivieriluca
1m 10s hf-cross-channels
hf-cross-channels
1m 10s
Update README.md Gradle Build (non-master branch) #483: Commit 067936d pushed by olivieriluca
1m 9s hf-cross-channels
hf-cross-channels
1m 9s
Fixed working dir of cchis analysis Gradle Build (non-master branch) #482: Commit 074f982 pushed by olivieriluca
25s hf-cross-channels
hf-cross-channels
25s
Adding CosmosSDK signature mapper Gradle Build (non-master branch) #481: Commit a5e0c44 pushed by olivieriluca
1m 29s error-handling-issues
error-handling-issues
1m 29s
Improving ABCIPanicChecker Gradle Build (non-master branch) #480: Commit 06ef1d9 pushed by olivieriluca
1m 18s error-handling-issues
error-handling-issues
1m 18s
Bug fixing of ABCIPanicChecker Gradle Build (non-master branch) #479: Commit 406cfff pushed by olivieriluca
1m 22s error-handling-issues
error-handling-issues
1m 22s
Added missing variable declarations in UnhandledErrorsChecker Gradle Build (non-master branch) #478: Commit edc6af8 pushed by olivieriluca
1m 14s error-handling-issues
error-handling-issues
1m 14s
Improving checks for unhandled error issues Gradle Build (non-master branch) #477: Commit 2709ea7 pushed by olivieriluca
1m 13s error-handling-issues
error-handling-issues
1m 13s
Adding support for checker about error handling issues in blockchain … Gradle Build (non-master branch) #476: Commit 9852eed pushed by olivieriluca
1m 13s error-handling-issues
error-handling-issues
1m 13s
Update GoStructType.java Gradle Build (non-master branch) #475: Commit 30f81ad pushed by olivieriluca
1m 16s error-handling-issues
error-handling-issues
1m 16s
Update GoStructType.java Gradle Build (non-master branch) #474: Commit 30f81ad pushed by olivieriluca
1m 18s error-handling-issues
error-handling-issues
1m 18s
Update README.md Gradle Build (non-master branch) #473: Commit 82cad83 pushed by olivieriluca
38s error-handling-issues
error-handling-issues
38s
Bug fixing Gradle Build (non-master branch) #472: Commit 9d2708d pushed by olivieriluca
1m 19s hf-cross-channels
hf-cross-channels
1m 19s
Update GoStructType.java Gradle Build (non-master branch) #471: Commit 30f81ad pushed by olivieriluca
1m 15s hf-checks
hf-checks
1m 15s
improved and reduced warning messages Gradle Build (non-master branch) #470: Commit fd965c8 pushed by olivieriluca
1m 20s hf-cross-channels
hf-cross-channels
1m 20s
minor Gradle Build (non-master branch) #469: Commit 1890a4d pushed by olivieriluca
1m 21s hf-cross-channels
hf-cross-channels
1m 21s
Updated README.md with the new options Gradle Build (non-master branch) #468: Commit 68d4031 pushed by olivieriluca
1m 15s hf-cross-channels
hf-cross-channels
1m 15s
Added code for inter-contract test case Gradle Build (non-master branch) #467: Commit f075adf pushed by olivieriluca
1m 10s hf-cross-channels
hf-cross-channels
1m 10s
Added cross-contract checks for cross-channel invocations Gradle Build (non-master branch) #466: Commit 70b8232 pushed by olivieriluca
1m 20s hf-cross-channels
hf-cross-channels
1m 20s