Skip to content

Actions: lisa-analyzer/lisa

Gradle Build (non-master branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updating expected results for tests #311
Gradle Build (non-master branch) #534: Commit 48ce04b pushed by lucaneg
August 16, 2024 12:47 1m 13s html-visualizer-rework
August 16, 2024 12:47 1m 13s
Fixing tests and formatting #311
Gradle Build (non-master branch) #533: Commit 6ae8e83 pushed by lucaneg
August 16, 2024 11:16 1m 19s html-visualizer-rework
August 16, 2024 11:16 1m 19s
Zooming on searched node #311
Gradle Build (non-master branch) #532: Commit bae1389 pushed by lucaneg
August 16, 2024 08:52 50s html-visualizer-rework
August 16, 2024 08:52 50s
Adding resizeable split pane #311
Gradle Build (non-master branch) #531: Commit 83be715 pushed by lucaneg
August 12, 2024 15:02 1m 16s html-visualizer-rework
August 12, 2024 15:02 1m 16s
Merge pull request #308 from lisa-analyzer/stability
Gradle Build (non-master branch) #530: Commit 94adcde pushed by giacomozanatta
August 12, 2024 14:29 1m 18s lisa4ros2
August 12, 2024 14:29 1m 18s
Using templating instead of string replacements #311
Gradle Build (non-master branch) #529: Commit 6572f1c pushed by lucaneg
August 12, 2024 09:41 1m 18s html-visualizer-rework
August 12, 2024 09:41 1m 18s
Location-based ws #316
Gradle Build (non-master branch) #528: Commit 8926c79 pushed by lucaneg
August 9, 2024 13:55 1m 20s location-based-ws
August 9, 2024 13:55 1m 20s
Increasing version number
Gradle Build (non-master branch) #527: Commit e07d916 pushed by lucaneg
August 1, 2024 13:05 1m 16s release-roundup
August 1, 2024 13:05 1m 16s
Formatting
Gradle Build (non-master branch) #526: Commit 0d1b881 pushed by lucaneg
August 1, 2024 09:49 1m 15s release-roundup
August 1, 2024 09:49 1m 15s
Ignoring conversions on receivers #300
Gradle Build (non-master branch) #525: Commit d740289 pushed by lucaneg
August 1, 2024 09:46 1m 16s release-roundup
August 1, 2024 09:46 1m 16s
Visiting for generic expressions #313
Gradle Build (non-master branch) #524: Commit 2518217 pushed by lucaneg
August 1, 2024 08:18 1m 14s release-roundup
August 1, 2024 08:18 1m 14s
Merge branch 'master' into stability
Gradle Build (non-master branch) #523: Commit b18cc9e pushed by lucaneg
July 30, 2024 09:29 1m 16s stability
July 30, 2024 09:29 1m 16s
Cron tests
Gradle Build (non-master branch) #522: Commit e44f827 pushed by lucaneg
July 30, 2024 09:27 1m 15s stability
July 30, 2024 09:27 1m 15s
Formatting
Gradle Build (non-master branch) #521: Commit 0736098 pushed by lucaneg
July 29, 2024 13:52 1m 13s stability
July 29, 2024 13:52 1m 13s
Formatting
Gradle Build (non-master branch) #520: Commit d6a6d15 pushed by lucaneg
July 29, 2024 13:52 1m 12s stability
July 29, 2024 13:52 1m 12s
Fixing tests and polishing code
Gradle Build (non-master branch) #519: Commit cb16184 pushed by lucaneg
July 29, 2024 13:51 1m 15s stability
July 29, 2024 13:51 1m 15s
Formattting and compilation problems
Gradle Build (non-master branch) #518: Commit 5a7f3c5 pushed by lucaneg
July 9, 2024 16:18 1m 10s stability
July 9, 2024 16:18 1m 10s
Merge pull request #307 from phiash/master
Gradle Build (non-master branch) #517: Commit e82f581 pushed by lucaneg
July 9, 2024 13:39 57s stability
July 9, 2024 13:39 57s
Merge pull request #305 from lisa-analyzer/giacomo-boldini/fix-statem…
Gradle Build (non-master branch) #516: Commit 8c3a340 pushed by lucaneg
July 9, 2024 13:35 1m 16s stability
July 9, 2024 13:35 1m 16s
Adding support for other constants in Interval analysis
Gradle Build (non-master branch) #515: Commit 9e1a19b pushed by lucaneg
February 21, 2024 10:27 1m 17s llvmir
February 21, 2024 10:27 1m 17s
Fix type-checking errors in Addition and Remainder statements.
Gradle Build (non-master branch) #514: Commit 2fc4e73 pushed by giacomoboldini
February 7, 2024 19:10 1m 13s giacomo-boldini/fix-statements
February 7, 2024 19:10 1m 13s
More constructors for logic and numeric exprs.
Gradle Build (non-master branch) #513: Commit f6d4253 pushed by giacomoboldini
February 7, 2024 15:11 1m 16s llvmir
February 7, 2024 15:11 1m 16s
Update snapshot-branch.yml
Gradle Build (non-master branch) #512: Commit 1617cc4 pushed by lucaneg
February 5, 2024 08:29 1m 18s llvmir
February 5, 2024 08:29 1m 18s
Merge branch 'master' into llvmir
Gradle Build (non-master branch) #511: Commit f7be255 pushed by giacomoboldini
February 4, 2024 10:33 1m 9s llvmir
February 4, 2024 10:33 1m 9s
Merge branch 'master' into llvmir
Gradle Build (non-master branch) #510: Commit 01ffd4b pushed by giacomoboldini
February 2, 2024 21:24 1m 15s llvmir
February 2, 2024 21:24 1m 15s