Skip to content

Actions: uhafner/codingstyle

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow run results
381 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use recordCoverage in Jenkinsfiles.
Autograding PR #824: Commit 1703f83 pushed by uhafner
October 17, 2023 07:52 3m 11s main
October 17, 2023 07:52 3m 11s
Use recordCoverage in Jenkinsfiles.
CodeCov #873: Commit 1703f83 pushed by uhafner
October 17, 2023 07:52 1m 55s main
October 17, 2023 07:52 1m 55s
Bump org.jacoco:jacoco-maven-plugin from 0.8.10 to 0.8.11
Auto Assign PR #979: Pull request #831 opened by dependabot bot
October 16, 2023 16:52 13s
October 16, 2023 16:52 13s
CodeQL
CodeQL #467: Scheduled
October 15, 2023 03:39 3m 6s main
October 15, 2023 03:39 3m 6s
Rename master to main.
Autograding PR #822: Commit a595710 pushed by uhafner
October 13, 2023 10:40 3m 25s main
October 13, 2023 10:40 3m 25s
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
Rename master to main.
CodeCov #871: Commit a595710 pushed by uhafner
October 13, 2023 10:40 1m 51s main
October 13, 2023 10:40 1m 51s
Rename master to main.
Generate reports #1375: Commit a595710 pushed by uhafner
October 13, 2023 10:40 3m 58s main
October 13, 2023 10:40 3m 58s
Rename master to main.
CodeQL #466: Commit a595710 pushed by uhafner
October 13, 2023 10:40 3m 47s main
October 13, 2023 10:40 3m 47s
Rename master to main.
Link Checker #447: Commit a595710 pushed by uhafner
October 13, 2023 10:40 48s main
October 13, 2023 10:40 48s
Rename master to main.
Release Drafter #888: Commit a595710 pushed by uhafner
October 13, 2023 10:40 17s main
October 13, 2023 10:40 17s
[maven-release-plugin] prepare for next development iteration
Release Drafter #887: Commit 01d593b pushed by uhafner
October 13, 2023 09:15 17s main
October 13, 2023 09:15 17s
[maven-release-plugin] prepare for next development iteration
Autograding PR #821: Commit 01d593b pushed by uhafner
October 13, 2023 09:15 3m 12s main
October 13, 2023 09:15 3m 12s
[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
[maven-release-plugin] prepare for next development iteration
CodeQL #465: Commit 01d593b pushed by uhafner
October 13, 2023 09:15 3m 59s main
October 13, 2023 09:15 3m 59s
[maven-release-plugin] prepare for next development iteration
Generate reports #1374: Commit 01d593b pushed by uhafner
October 13, 2023 09:15 3m 22s main
October 13, 2023 09:15 3m 22s