Skip to content

Actions: soot-oss/soot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix return validator for the case when the method ends with a nop Soot CI #1532: Pull request #2030 opened by MarcMil
December 6, 2023 21:10 4m 4s MarcMil:nop-fix
MarcMil:nop-fix
December 6, 2023 21:10 4m 4s
pages build and deployment pages-build-deployment #84: by github-pages bot
November 29, 2023 19:09 2m 30s gh-pages
gh-pages
November 29, 2023 19:09 2m 30s
Merge pull request #2029 from MarcMil/use-ordinary-maps Soot CI #1531: Commit cda8d92 pushed by StevenArzt
November 29, 2023 19:03 6m 13s develop
develop
November 29, 2023 19:03 6m 13s
Remove coffi Soot CI #1530: Pull request #2029 synchronize by MarcMil
November 29, 2023 18:50 4m 3s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 18:50 4m 3s
Remove coffi Soot CI #1529: Pull request #2029 synchronize by StevenArzt
November 29, 2023 18:44 4m 5s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 18:44 4m 5s
Remove coffi Soot CI #1528: Pull request #2029 synchronize by MarcMil
November 29, 2023 18:43 5m 31s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 18:43 5m 31s
Remove coffi Soot CI #1527: Pull request #2029 synchronize by MarcMil
November 29, 2023 18:41 4m 3s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 18:41 4m 3s
Remove coffi Soot CI #1526: Pull request #2029 synchronize by MarcMil
November 29, 2023 18:36 4m 10s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 18:36 4m 10s
Remove coffi Soot CI #1525: Pull request #2029 synchronize by MarcMil
November 29, 2023 12:35 4m 2s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 12:35 4m 2s
Remove coffi Soot CI #1524: Pull request #2029 opened by MarcMil
November 29, 2023 12:27 5m 6s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 29, 2023 12:27 5m 6s
pages build and deployment pages-build-deployment #83: by github-pages bot
November 22, 2023 20:52 2m 24s gh-pages
gh-pages
November 22, 2023 20:52 2m 24s
Merge pull request #2028 from MarcMil/use-ordinary-maps Soot CI #1523: Commit 8698b75 pushed by StevenArzt
November 22, 2023 20:46 6m 15s develop
develop
November 22, 2023 20:46 6m 15s
Do not number SootClasses Soot CI #1522: Pull request #2028 opened by MarcMil
November 22, 2023 20:41 4m 12s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 20:41 4m 12s
pages build and deployment pages-build-deployment #82: by github-pages bot
November 22, 2023 20:38 2m 22s gh-pages
gh-pages
November 22, 2023 20:38 2m 22s
Merge pull request #2027 from MarcMil/use-ordinary-maps Soot CI #1521: Commit faf3249 pushed by StevenArzt
November 22, 2023 20:32 7m 21s develop
develop
November 22, 2023 20:32 7m 21s
Remove some numberers which are actually not really needed Soot CI #1520: Pull request #2027 synchronize by MarcMil
November 22, 2023 20:25 4m 12s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 20:25 4m 12s
Remove some numberers which are actually not really needed Soot CI #1519: Pull request #2027 synchronize by MarcMil
November 22, 2023 20:20 4m 7s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 20:20 4m 7s
Remove some numberers which are actually not really needed Soot CI #1518: Pull request #2027 opened by MarcMil
November 22, 2023 20:16 4m 2s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 20:16 4m 2s
Merge pull request #2026 from MarcMil/use-ordinary-maps Soot CI #1517: Commit 5e2effc pushed by StevenArzt
November 22, 2023 19:46 1m 59s develop
develop
November 22, 2023 19:46 1m 59s
Replace some more numbered maps Soot CI #1516: Pull request #2026 synchronize by MarcMil
November 22, 2023 19:38 4m 5s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 19:38 4m 5s
Replace some more numbered maps Soot CI #1515: Pull request #2026 opened by MarcMil
November 22, 2023 19:37 4m 8s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 19:37 4m 8s
pages build and deployment pages-build-deployment #81: by github-pages bot
November 22, 2023 15:26 2m 25s gh-pages
gh-pages
November 22, 2023 15:26 2m 25s
Merge pull request #2025 from MarcMil/use-ordinary-maps Soot CI #1514: Commit baf1f34 pushed by StevenArzt
November 22, 2023 15:20 6m 26s develop
develop
November 22, 2023 15:20 6m 26s
Use ordinary maps for PAG Soot CI #1513: Pull request #2025 opened by MarcMil
November 22, 2023 15:09 4m 15s MarcMil:use-ordinary-maps
MarcMil:use-ordinary-maps
November 22, 2023 15:09 4m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.