Skip to content

Actions: lisa-analyzer/lisa

Actions

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-all.yml
25 workflow run results
25 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/master' into llvmir Gradle Build (non-master branch) #509: Commit 1b85f07 pushed by giacomoboldini
January 17, 2024 12:28 1m 22s llvmir
llvmir
January 17, 2024 12:28 1m 22s
NumericType interf: getNbits() instead of is*bits(). Gradle Build (non-master branch) #508: Commit 1e8bf79 pushed by giacomoboldini
January 17, 2024 12:18 1m 16s llvmir
llvmir
January 17, 2024 12:18 1m 16s
Javadoc Gradle Build (non-master branch) #507: Commit cd35111 pushed by VincenzoArceri
January 10, 2024 14:26 1m 14s pentagons
pentagons
January 10, 2024 14:26 1m 14s
Apply spotless Gradle Build (non-master branch) #506: Commit 0495a61 pushed by VincenzoArceri
January 10, 2024 14:20 1m 15s pentagons
pentagons
January 10, 2024 14:20 1m 15s
Apply spotless and Javadoc Gradle Build (non-master branch) #505: Commit 0329b43 pushed by VincenzoArceri
January 10, 2024 14:12 1m 16s pentagons
pentagons
January 10, 2024 14:12 1m 16s
Minor fix on NumericAnalysesTest Gradle Build (non-master branch) #504: Commit db23e87 pushed by olivieriluca
January 10, 2024 12:53 1m 14s pentagons
pentagons
January 10, 2024 12:53 1m 14s
Added missing documentation in Pentagons.java and UpperBounds.java Gradle Build (non-master branch) #503: Commit ebda88b pushed by olivieriluca
January 10, 2024 10:57 1m 15s pentagons
pentagons
January 10, 2024 10:57 1m 15s
Draft classes for testing pentagon domain Gradle Build (non-master branch) #502: Commit a797a9a pushed by VincenzoArceri
January 10, 2024 08:21 1m 26s pentagons
pentagons
January 10, 2024 08:21 1m 26s
Draft implementation of the pentagon abstract domain Gradle Build (non-master branch) #501: Commit ca77cc0 pushed by VincenzoArceri
January 9, 2024 11:11 1m 14s pentagons
pentagons
January 9, 2024 11:11 1m 14s
Unconditionally dump support files #302 Gradle Build (non-master branch) #500: Commit 0c59c3d pushed by lucaneg
December 12, 2023 16:05 1m 11s support-dumping
support-dumping
December 12, 2023 16:05 1m 11s
Restoring compareTo()'s #298 Gradle Build (non-master branch) #499: Commit 8a7caa9 pushed by lucaneg
December 7, 2023 10:26 1m 5s comparison
comparison
December 7, 2023 10:26 1m 5s
Reworked cron files structure Gradle Build (non-master branch) #498: Commit 2ce6bef pushed by lucaneg
December 5, 2023 12:18 1m 9s offset-removal
offset-removal
December 5, 2023 12:18 1m 9s
Fixing subnodes traversal order Gradle Build (non-master branch) #497: Commit c98ea15 pushed by lucaneg
December 5, 2023 11:16 1m 7s offset-removal
offset-removal
December 5, 2023 11:16 1m 7s
Spotless Gradle Build (non-master branch) #496: Commit 5e5a445 pushed by lucaneg
December 5, 2023 09:32 1m 8s offset-removal
offset-removal
December 5, 2023 09:32 1m 8s
Removing offset from nodes #296 Gradle Build (non-master branch) #495: Commit 6586dd7 pushed by lucaneg
December 4, 2023 17:10 1m 4s offset-removal
offset-removal
December 4, 2023 17:10 1m 4s
Fixed typos in javadoc strings. Gradle Build (non-master branch) #494: Commit e05a18e pushed by giacomoboldini
November 30, 2023 12:59 1m 11s giacomo-boldini/typo
giacomo-boldini/typo
November 30, 2023 12:59 1m 11s
Spotless Gradle Build (non-master branch) #493: Commit 75be2cc pushed by lucaneg
October 25, 2023 13:23 1m 33s field-sensitive-fix
field-sensitive-fix
October 25, 2023 13:23 1m 33s
Regenerated tests Gradle Build (non-master branch) #492: Commit e6a7e59 pushed by lucaneg
October 25, 2023 13:04 1m 24s field-sensitive-fix
field-sensitive-fix
October 25, 2023 13:04 1m 24s
Fixing commonSuperType and canBeAssignedTo methods for ReferenceType Gradle Build (non-master branch) #491: Commit 26841f9 pushed by VincenzoArceri
October 19, 2023 15:18 1m 19s field-sensitive-fix
field-sensitive-fix
October 19, 2023 15:18 1m 19s
Allowing subclasses to access field information Gradle Build (non-master branch) #490: Commit fb6b2c9 pushed by lucaneg
October 19, 2023 15:05 1m 47s field-sensitive-fix
field-sensitive-fix
October 19, 2023 15:05 1m 47s
Allowing subclassing through mk() Gradle Build (non-master branch) #489: Commit 0ed21e8 pushed by lucaneg
October 19, 2023 15:00 1m 18s field-sensitive-fix
field-sensitive-fix
October 19, 2023 15:00 1m 18s
Propagating field information #293 Gradle Build (non-master branch) #488: Commit bb7e271 pushed by lucaneg
October 16, 2023 14:24 1m 25s field-sensitive-fix
field-sensitive-fix
October 16, 2023 14:24 1m 25s
Gradle Build (non-master branch) Gradle Build (non-master branch) #487: by lucaneg
October 9, 2023 13:59 1m 21s beta9
beta9
October 9, 2023 13:59 1m 21s
Memory oracle methods #291 Gradle Build (non-master branch) #486: Commit bd00779 pushed by lucaneg
October 9, 2023 13:31 1m 19s beta9
beta9
October 9, 2023 13:31 1m 19s
Finalizing backward tests #120 Gradle Build (non-master branch) #485: Commit 896d23b pushed by lucaneg
October 9, 2023 09:20 1m 19s beta9
beta9
October 9, 2023 09:20 1m 19s