Skip to content

Actions: soot-oss/SootUp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,885 workflow runs
1,885 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #241: by github-pages bot
December 19, 2023 09:10 38s gh-pages
gh-pages
December 19, 2023 09:10 38s
pages build and deployment pages-build-deployment #240: by github-pages bot
December 19, 2023 09:10 7s gh-pages
gh-pages
December 19, 2023 09:10 7s
Merge pull request #778 from soot-oss/fix/ghpages_permission Java CI with Maven #1677: Commit 3cf4a05 pushed by JonasKlauke
December 19, 2023 09:09 7m 27s develop
develop
December 19, 2023 09:09 7m 27s
Merge pull request #778 from soot-oss/fix/ghpages_permission Documentation #242: Commit 3cf4a05 pushed by JonasKlauke
December 19, 2023 09:09 2m 1s develop
develop
December 19, 2023 09:09 2m 1s
fix ci: gh pages Documentation #241: Pull request #778 closed by JonasKlauke
December 19, 2023 09:09 57s fix/ghpages_permission
fix/ghpages_permission
December 19, 2023 09:09 57s
pages build and deployment pages-build-deployment #239: by github-pages bot
December 19, 2023 08:52 51s gh-pages
gh-pages
December 19, 2023 08:52 51s
fix ci: gh pages Documentation #240: Pull request #778 synchronize by stschott
December 19, 2023 08:51 1m 3s fix/ghpages_permission
fix/ghpages_permission
December 19, 2023 08:51 1m 3s
fix ci: gh pages Java CI with Maven #1676: Pull request #778 synchronize by stschott
December 19, 2023 08:51 7m 41s fix/ghpages_permission
fix/ghpages_permission
December 19, 2023 08:51 7m 41s
pages build and deployment pages-build-deployment #238: by github-pages bot
December 18, 2023 17:31 53s gh-pages
gh-pages
December 18, 2023 17:31 53s
fix ci: gh pages Documentation #239: Pull request #778 synchronize by swissiety
December 18, 2023 17:30 1m 0s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:30 1m 0s
fix ci: gh pages Java CI with Maven #1675: Pull request #778 synchronize by swissiety
December 18, 2023 17:30 8m 12s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:30 8m 12s
pages build and deployment pages-build-deployment #237: by github-pages bot
December 18, 2023 17:07 49s gh-pages
gh-pages
December 18, 2023 17:07 49s
fix ci: gh pages Documentation #238: Pull request #778 synchronize by swissiety
December 18, 2023 17:06 1m 0s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:06 1m 0s
fix ci: gh pages Java CI with Maven #1674: Pull request #778 synchronize by swissiety
December 18, 2023 17:06 13m 45s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:06 13m 45s
pages build and deployment pages-build-deployment #236: by github-pages bot
December 18, 2023 17:05 49s gh-pages
gh-pages
December 18, 2023 17:05 49s
Merge pull request #776 from czekster/patch-1 Java CI with Maven #1673: Commit 24548af pushed by swissiety
December 18, 2023 17:04 8m 7s develop
develop
December 18, 2023 17:04 8m 7s
Merge pull request #776 from czekster/patch-1 Documentation #237: Commit 24548af pushed by swissiety
December 18, 2023 17:04 56s develop
develop
December 18, 2023 17:04 56s
Update whatsnew.md Documentation #236: Pull request #776 closed by swissiety
December 18, 2023 17:04 2m 0s czekster:patch-1
czekster:patch-1
December 18, 2023 17:04 2m 0s
pages build and deployment pages-build-deployment #235: by github-pages bot
December 18, 2023 17:02 41s gh-pages
gh-pages
December 18, 2023 17:02 41s
fix ci: gh pages Documentation #235: Pull request #778 synchronize by swissiety
December 18, 2023 17:01 1m 4s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:01 1m 4s
fix ci: gh pages Java CI with Maven #1672: Pull request #778 synchronize by swissiety
December 18, 2023 17:01 7m 29s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 17:01 7m 29s
pages build and deployment pages-build-deployment #234: by github-pages bot
December 18, 2023 16:26 41s gh-pages
gh-pages
December 18, 2023 16:26 41s
fix ci: gh pages Java CI with Maven #1671: Pull request #778 synchronize by swissiety
December 18, 2023 16:25 7m 42s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 16:25 7m 42s
fix ci: gh pages Documentation #234: Pull request #778 synchronize by swissiety
December 18, 2023 16:25 1m 3s fix/ghpages_permission
fix/ghpages_permission
December 18, 2023 16:25 1m 3s
pages build and deployment pages-build-deployment #233: by github-pages bot
December 18, 2023 15:51 50s gh-pages
gh-pages
December 18, 2023 15:51 50s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.