Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Actions: soot-oss/soot

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
359 workflow runs
359 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Thread.start() virtualedge for constructor-provided Runnable
Soot CI #1500: Pull request #2004 opened by t1mlange
September 21, 2023 11:11 5m 24s t1mlange:develop
September 21, 2023 11:11 5m 24s
pages build and deployment
pages-build-deployment #75: by github-pages bot
September 13, 2023 07:37 2m 45s
September 13, 2023 07:37 2m 45s
Merge pull request #1998 from subarnob/develop
Soot CI #1499: Commit 478c3e4 pushed by StevenArzt
September 13, 2023 07:29 7m 56s develop
September 13, 2023 07:29 7m 56s
Avoid duplicating constant assignments to final instance fields
Soot CI #1498: Pull request #1998 synchronize by StevenArzt
September 13, 2023 07:19 6m 5s develop
September 13, 2023 07:19 6m 5s
pages build and deployment
pages-build-deployment #74: by github-pages bot
September 12, 2023 11:46 3m 16s
September 12, 2023 11:46 3m 16s
fixed style issue
Soot CI #1497: Commit 506797f pushed by StevenArzt
September 12, 2023 11:38 7m 58s develop
September 12, 2023 11:38 7m 58s
Fix a soot runtime block while resolving assigned expression type
Soot CI #1496: Pull request #2001 opened by wangnianwu
September 12, 2023 07:52 5m 13s wangnianwu:develop
September 12, 2023 07:52 5m 13s
Avoid duplicating constant assignments to final instance fields
Soot CI #1495: Pull request #1998 opened by subarnob
September 6, 2023 16:17 5m 17s develop
September 6, 2023 16:17 5m 17s
pages build and deployment
pages-build-deployment #73: by github-pages bot
August 9, 2023 13:51 2m 48s
August 9, 2023 13:51 2m 48s
Merge pull request #1995 from timll/develop
Soot CI #1494: Commit cd25640 pushed by StevenArzt
August 9, 2023 13:41 9m 12s develop
August 9, 2023 13:41 9m 12s
Add collection callbacks to virtualedges.xml
Soot CI #1493: Pull request #1995 opened by t1mlange
August 9, 2023 13:28 6m 54s t1mlange:develop
August 9, 2023 13:28 6m 54s
pages build and deployment
pages-build-deployment #72: by github-pages bot
July 28, 2023 15:15 2m 35s
July 28, 2023 15:15 2m 35s
July 28, 2023 15:01 8m 33s
pages build and deployment
pages-build-deployment #71: by github-pages bot
July 28, 2023 05:35 2m 46s
July 28, 2023 05:35 2m 46s
Merge pull request #1990 from piskachev/develop
Soot CI #1490: Commit e62b855 pushed by linghuiluo
July 28, 2023 05:27 8m 4s develop
July 28, 2023 05:27 8m 4s
pages build and deployment
pages-build-deployment #70: by github-pages bot
July 27, 2023 08:50 2m 40s
July 27, 2023 08:50 2m 40s
moved a class
Soot CI #1488: Commit a53852f pushed by StevenArzt
July 27, 2023 08:41 9m 18s develop
July 27, 2023 08:41 9m 18s
pages build and deployment
pages-build-deployment #69: by github-pages bot
July 26, 2023 10:11 2m 48s
July 26, 2023 10:11 2m 48s
Merge pull request #1984 from ruffer-j/develop
Soot CI #1485: Commit 62d8de4 pushed by StevenArzt
July 26, 2023 10:02 8m 49s develop
July 26, 2023 10:02 8m 49s
handle callback edges in the PAG
Soot CI #1484: Pull request #1984 synchronize by ruffer-j
July 26, 2023 08:52 5m 8s ruffer-j:develop
July 26, 2023 08:52 5m 8s
pages build and deployment
pages-build-deployment #68: by github-pages bot
July 21, 2023 16:17 2m 35s
July 21, 2023 16:17 2m 35s
ProTip! You can narrow down the results and go further in time using created:<2023-07-21 or the other filters available.