Skip to content

Actions: lisa-analyzer/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
729 workflow runs
729 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cron tests scheduler Cron tests scheduler #978: Scheduled
January 14, 2024 01:22 15s master
master
January 14, 2024 01:22 15s
Cron tests scheduler Cron tests scheduler #977: Scheduled
January 13, 2024 01:16 13s master
master
January 13, 2024 01:16 13s
Cron tests scheduler Cron tests scheduler #976: Scheduled
January 12, 2024 01:17 17s master
master
January 12, 2024 01:17 17s
Cron tests scheduler Cron tests scheduler #975: Scheduled
January 11, 2024 01:17 16s master
master
January 11, 2024 01:17 16s
Merge pull request #304 from lisa-analyzer/pentagons Release Drafter #101: Commit 5af3218 pushed by lucaneg
January 10, 2024 14:43 18s master
master
January 10, 2024 14:43 18s
Merge pull request #304 from lisa-analyzer/pentagons Autoupdate PRs on master #120: Commit 5af3218 pushed by lucaneg
January 10, 2024 14:43 15s master
master
January 10, 2024 14:43 15s
Merge pull request #304 from lisa-analyzer/pentagons Gradle Build (master) #121: Commit 5af3218 pushed by lucaneg
January 10, 2024 14:43 6m 0s master
master
January 10, 2024 14:43 6m 0s
Implementation of the pentagon abstract domain PR: compile, test and check style #606: Pull request #304 synchronize by VincenzoArceri
January 10, 2024 14:26 1m 55s pentagons
pentagons
January 10, 2024 14:26 1m 55s
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
Implementation of the pentagon abstract domain PR: compile, test and check style #605: Pull request #304 synchronize by VincenzoArceri
January 10, 2024 14:20 1m 27s pentagons
pentagons
January 10, 2024 14:20 1m 27s
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
Implementation of the pentagon abstract domain Move ready PRs #68: Pull request #304 unlabeled by VincenzoArceri
January 10, 2024 14:18 11s pentagons
pentagons
January 10, 2024 14:18 11s
Implementation of the pentagon abstract domain PR: compile, test and check style #604: Pull request #304 opened by VincenzoArceri
January 10, 2024 14:17 1m 16s pentagons
pentagons
January 10, 2024 14:17 1m 16s
Implementation of the pentagon abstract domain Label opened prs #80: Pull request #304 opened by VincenzoArceri
January 10, 2024 14:17 19s pentagons
pentagons
January 10, 2024 14:17 19s
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
Cron tests runner Cron tests runner #190: Manually run by lucaneg
January 10, 2024 01:18 2m 5s pentagons
pentagons
January 10, 2024 01:18 2m 5s
Cron tests scheduler Cron tests scheduler #974: Scheduled
January 10, 2024 01:17 14s master
master
January 10, 2024 01:17 14s
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
Cron tests scheduler Cron tests scheduler #973: Scheduled
January 9, 2024 01:17 21s master
master
January 9, 2024 01:17 21s
Cron tests scheduler Cron tests scheduler #972: Scheduled
January 8, 2024 01:17 16s master
master
January 8, 2024 01:17 16s
Cron tests scheduler Cron tests scheduler #971: Scheduled
January 7, 2024 01:22 18s master
master
January 7, 2024 01:22 18s
Cron tests scheduler Cron tests scheduler #970: Scheduled
January 6, 2024 01:15 13s master
master
January 6, 2024 01:15 13s
ProTip! You can narrow down the results and go further in time using created:<2024-01-06 or the other filters available.