Skip to content

Actions: jacquard-autograder/jacquard

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add IDE style files Deploy Javadoc #14: Commit 3ea24dc pushed by espertus
November 19, 2023 16:45 49s main
main
November 19, 2023 16:45 49s
Add better error message for crosstester Deploy Javadoc #13: Commit 3639fb7 pushed by espertus
October 18, 2023 21:31 1m 18s main
main
October 18, 2023 21:31 1m 18s
pages build and deployment pages-build-deployment #13: by github-pages bot
August 29, 2023 00:36 51s
August 29, 2023 00:36 51s
Allow subpackages (issue #3) Deploy Javadoc #12: Commit bc68984 pushed by espertus
August 29, 2023 00:34 1m 8s main
main
August 29, 2023 00:34 1m 8s
Update README.md Deploy Javadoc #11: Commit 0ce86c1 pushed by espertus
August 26, 2023 18:40 1m 2s main
main
August 26, 2023 18:40 1m 2s
pages build and deployment pages-build-deployment #12: by github-pages bot
August 25, 2023 01:51 58s
August 25, 2023 01:51 58s
Provide simpler crosstester Deploy Javadoc #10: Commit bedc09d pushed by espertus
August 25, 2023 01:51 56s main
main
August 25, 2023 01:51 56s
pages build and deployment pages-build-deployment #11: by github-pages bot
August 23, 2023 22:49 1m 0s
August 23, 2023 22:49 1m 0s
Fix convenience method Deploy Javadoc #9: Commit 3b28c49 pushed by espertus
August 23, 2023 22:48 42s main
main
August 23, 2023 22:48 42s
pages build and deployment pages-build-deployment #10: by github-pages bot
August 23, 2023 21:32 56s
August 23, 2023 21:32 56s
Refactor argument to CrossTester constructor Deploy Javadoc #8: Commit 262a67e pushed by espertus
August 23, 2023 21:32 46s main
main
August 23, 2023 21:32 46s
pages build and deployment pages-build-deployment #9: by github-pages bot
August 22, 2023 20:51 1m 0s
August 22, 2023 20:51 1m 0s
Address issue #2 (PMD batching) Deploy Javadoc #7: Commit 64da97c pushed by espertus
August 22, 2023 20:50 51s main
main
August 22, 2023 20:50 51s
pages build and deployment pages-build-deployment #8: by github-pages bot
August 22, 2023 20:11 58s
August 22, 2023 20:11 58s
Group multiple checkstyle targets Deploy Javadoc #6: Commit fd3f08e pushed by espertus
August 22, 2023 20:10 47s main
main
August 22, 2023 20:10 47s
Add javadoc link to README Deploy Javadoc #5: Commit ad6b03b pushed by espertus
August 22, 2023 18:32 43s main
main
August 22, 2023 18:32 43s
pages build and deployment pages-build-deployment #7: by espertus
August 22, 2023 18:00 53s
August 22, 2023 18:00 53s
pages build and deployment pages-build-deployment #6: by github-pages bot
August 22, 2023 17:53 48s
August 22, 2023 17:53 48s
Change javadoc target dir Deploy Javadoc #4: Commit 5ed3393 pushed by espertus
August 22, 2023 17:53 43s main
main
August 22, 2023 17:53 43s
pages build and deployment pages-build-deployment #5: by espertus
August 22, 2023 17:50 50s
August 22, 2023 17:50 50s
pages build and deployment pages-build-deployment #4: by espertus
August 22, 2023 17:50 45s
August 22, 2023 17:50 45s
pages build and deployment pages-build-deployment #3: by github-pages bot
August 22, 2023 17:44 50s
August 22, 2023 17:44 50s
Fix token Deploy Javadoc #3: Commit d448e81 pushed by espertus
August 22, 2023 17:43 48s main
main
August 22, 2023 17:43 48s
Replace new token with classic token Deploy Javadoc #2: Commit 1cd7562 pushed by espertus
August 22, 2023 17:39 1m 6s main
main
August 22, 2023 17:39 1m 6s
pages build and deployment pages-build-deployment #2: by espertus
August 22, 2023 17:27 59s
August 22, 2023 17:27 59s