Skip to content

Actions: lisa-analyzer/lisa

Actions

Gradle Build (master)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-master.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixing publishing script Gradle Build (master) #151: Commit 757a274 pushed by lucaneg
6m 3s master
master
6m 3s
version number update and ossrh migration Gradle Build (master) #150: Commit 04a07a6 pushed by lucaneg
7m 25s master
master
7m 25s
default implementations in Lattice Gradle Build (master) #149: Commit 8e40629 pushed by lucaneg
6m 23s master
master
6m 23s
moving to junit 5 Gradle Build (master) #148: Commit 1853bdc pushed by lucaneg
6m 29s master
master
6m 29s
Merge pull request #353 from lisa-analyzer/explainability Gradle Build (master) #147: Commit b7ac18a pushed by lucaneg
6m 31s master
master
6m 31s
one more attempt at branch detection Gradle Build (master) #146: Commit 7b469ea pushed by lucaneg
6m 11s master
master
6m 11s
one more attempt at branch detection Gradle Build (master) #145: Commit b9c8c8c pushed by lucaneg
6m 46s master
master
6m 46s
fixing javadocs Gradle Build (master) #144: Commit 4c062ec pushed by lucaneg
6m 13s master
master
6m 13s
updating regex for branch detection Gradle Build (master) #143: Commit d698039 pushed by lucaneg
6m 48s master
master
6m 48s
fixing snapshot detection Gradle Build (master) #142: Commit f614ec8 pushed by lucaneg
7m 17s master
master
7m 17s
Merge pull request #352 from lisa-analyzer/configuration Gradle Build (master) #141: Commit 0e013a9 pushed by lucaneg
6m 26s master
master
6m 26s
Merge pull request #349 from lisa-analyzer/notices Gradle Build (master) #140: Commit 825b59f pushed by lucaneg
6m 9s master
master
6m 9s
Merge pull request #348 from lisa-analyzer/inlining Gradle Build (master) #139: Commit d0a8e12 pushed by lucaneg
6m 30s master
master
6m 30s
Merge pull request #346 from lisa-analyzer/state-manipulation Gradle Build (master) #138: Commit 03b8c05 pushed by lucaneg
6m 49s master
master
6m 49s
Merge pull request #345 from lisa-analyzer/jlisa-improvements Gradle Build (master) #137: Commit 891c16e pushed by lucaneg
6m 10s master
master
6m 10s
Merge pull request #329 from lisa-analyzer/svcomp Gradle Build (master) #136: Commit 96ea0a6 pushed by lucaneg
6m 31s master
master
6m 31s
Assume delegates to satisfies in numerical nonrel domains Gradle Build (master) #135: Commit 8c1abce pushed by lucaneg
6m 20s master
master
6m 20s
Merge pull request #327 from lisa-analyzer/whole-value-analysis Gradle Build (master) #134: Commit f5955fd pushed by lucaneg
6m 27s master
master
6m 27s
Merge pull request #325 from lisa-analyzer/2025-update Gradle Build (master) #133: Commit 06ef9a7 pushed by lucaneg
6m 29s master
master
6m 29s
Merge pull request #323 from lisa-analyzer/bug322 Gradle Build (master) #132: Commit 6787a4d pushed by lucaneg
5m 8s master
master
5m 8s