Skip to content

Actions: lisa-analyzer/lisa

Actions

Autoupdate PRs on master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
autoupdate-branches.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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