Skip to content

Actions: uhafner/codingstyle

GitHub CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
138 workflow run results
138 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare for next development iteration
GitHub CI #1843: Commit 8185354 pushed by uhafner
October 20, 2023 09:07 4m 13s main
October 20, 2023 09:07 4m 13s
[maven-release-plugin] prepare release v3.25.0
GitHub CI #1842: Commit 5322253 pushed by uhafner
October 20, 2023 09:07 3m 46s main
October 20, 2023 09:07 3m 46s
Merge pull request #833 from uhafner/dependabot/maven/error-prone.ver…
GitHub CI #1841: Commit 55251d5 pushed by uhafner
October 20, 2023 09:05 4m 15s main
October 20, 2023 09:05 4m 15s
Merge pull request #834 from uhafner/dependabot/maven/com.uber.nullaw…
GitHub CI #1839: Commit dbf910f pushed by uhafner
October 20, 2023 08:52 3m 57s main
October 20, 2023 08:52 3m 57s
Do not update net.javacrumbs.json-unit:json-unit-assertj (Java 17).
GitHub CI #1838: Commit 43d7e01 pushed by uhafner
October 20, 2023 08:16 3m 6s main
October 20, 2023 08:16 3m 6s
When enforcing labels check for a minimum and not exact size.
GitHub CI #1835: Commit 9c95bd5 pushed by uhafner
October 19, 2023 15:20 5m 2s main
October 19, 2023 15:20 5m 2s
Fix badges.
GitHub CI #1834: Commit 9f89974 pushed by uhafner
October 19, 2023 06:43 3m 55s main
October 19, 2023 06:43 3m 55s
Merge pull request #831 from uhafner/dependabot/maven/org.jacoco-jaco…
GitHub CI #1833: Commit 25a8c4b pushed by uhafner
October 18, 2023 13:53 4m 43s main
October 18, 2023 13:53 4m 43s
Merge pull request #832 from uhafner/dependabot/github_actions/releas…
GitHub CI #1832: Commit c9d6d7c pushed by uhafner
October 18, 2023 13:53 4m 58s main
October 18, 2023 13:53 4m 58s
Use ID pit to store mutation results.
GitHub CI #1830: Commit d148082 pushed by uhafner
October 17, 2023 12:58 4m 30s main
October 17, 2023 12:58 4m 30s
Enable pit in autograding.
GitHub CI #1829: Commit 3f9ff7e pushed by uhafner
October 17, 2023 08:52 4m 17s main
October 17, 2023 08:52 4m 17s
Fix checkout in Jenkinsfile.
GitHub CI #1828: Commit 884b674 pushed by uhafner
October 17, 2023 08:17 4m 15s main
October 17, 2023 08:17 4m 15s
Use recordCoverage in Jenkinsfiles.
GitHub CI #1827: Commit 1703f83 pushed by uhafner
October 17, 2023 07:52 5m 7s main
October 17, 2023 07:52 5m 7s
Rename master to main.
GitHub CI #1825: Commit a595710 pushed by uhafner
October 13, 2023 10:40 2m 58s main
October 13, 2023 10:40 2m 58s
[maven-release-plugin] prepare for next development iteration
GitHub CI #1824: Commit 01d593b pushed by uhafner
October 13, 2023 09:15 3m 41s main
October 13, 2023 09:15 3m 41s