Skip to content

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow run results
103 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cron tests scheduler Cron tests scheduler #883: Scheduled
October 11, 2023 01:11 20s master
master
October 11, 2023 01:11 20s
Cron tests scheduler Cron tests scheduler #882: Scheduled
October 10, 2023 01:11 14s master
master
October 10, 2023 01:11 14s
Autoupdate PRs on master Autoupdate PRs on master #114: by lucaneg
October 9, 2023 14:21 15s master
master
October 9, 2023 14:21 15s
Gradle Build (master) Gradle Build (master) #115: by lucaneg
October 9, 2023 14:21 6m 32s master
master
October 9, 2023 14:21 6m 32s
Release Drafter Release Drafter #95: by lucaneg
October 9, 2023 14:21 14s master
master
October 9, 2023 14:21 14s
0.1 beta 9 Release publishing #17: Release v0.1b9 published by lucaneg
October 9, 2023 14:18 1m 48s
October 9, 2023 14:18 1m 48s
[FEATURE REQUEST] Pass an oracle to all semantic evaluations functions Label closed issues #103: Issue #291 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Backward analysis (beta) Label closed issues #101: Issue #120 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Customizable initialization of entrypoints parameters Label closed issues #102: Issue #280 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Add support for arraylength in IMP Label closed issues #98: Issue #288 closed by lucaneg
October 9, 2023 14:03 12s
October 9, 2023 14:03 12s
[FEATURE REQUEST] Customizable defaults for environments Label closed issues #99: Issue #279 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[FEATURE REQUEST] Transform SymbolAliasing to a generic map Label closed issues #100: Issue #287 closed by lucaneg
October 9, 2023 14:03 17s
October 9, 2023 14:03 17s
[BUG] Annotations are not propagated to heap identifiers Label closed issues #97: Issue #286 closed by lucaneg
October 9, 2023 14:03 13s
October 9, 2023 14:03 13s
[BUG] AnalysisSetupException: No registered default for different default interface Label closed issues #95: Issue #268 closed by lucaneg
October 9, 2023 14:03 15s
October 9, 2023 14:03 15s
[BUG] Review assignment rules Label closed issues #96: Issue #284 closed by lucaneg
October 9, 2023 14:03 17s
October 9, 2023 14:03 17s
Release Drafter Release Drafter #94: by lucaneg
October 9, 2023 14:02 18s master
master
October 9, 2023 14:02 18s
Autoupdate PRs on master Autoupdate PRs on master #113: by lucaneg
October 9, 2023 14:02 18s master
master
October 9, 2023 14:02 18s
Gradle Build (master) Gradle Build (master) #114: by lucaneg
October 9, 2023 14:02 6m 34s master
master
October 9, 2023 14:02 6m 34s
Beta9 roundup Move ready PRs #63: Pull request #289 unlabeled by lucaneg
October 9, 2023 14:00 14s beta9
beta9
October 9, 2023 14:00 14s
Beta9 roundup PR: compile, test and check style #590: Pull request #289 synchronize by lucaneg
October 9, 2023 13:59 2m 32s beta9
beta9
October 9, 2023 13:59 2m 32s
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
Beta9 roundup PR: compile, test and check style #589: Pull request #289 synchronize by lucaneg
October 9, 2023 13:31 3m 0s beta9
beta9
October 9, 2023 13:31 3m 0s
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
[FEATURE REQUEST] Backward analysis (beta) Move resolved issues #552: Issue #120 labeled by lucaneg
October 9, 2023 09:21 13s
October 9, 2023 09:21 13s
Beta9 roundup PR: compile, test and check style #588: Pull request #289 synchronize by lucaneg
October 9, 2023 09:20 2m 7s beta9
beta9
October 9, 2023 09:20 2m 7s