Skip to content

Actions: jacquard-autograder/jacquard

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Deploy Javadoc #46: Commit cd238e6 pushed by espertus
June 19, 2024 19:21 40s main
main
June 19, 2024 19:21 40s
Update version number Deploy Javadoc #45: Commit 8e246f4 pushed by espertus
March 22, 2024 20:46 43s main
main
March 22, 2024 20:46 43s
Add git configuration Deploy Javadoc #44: Commit d0e8124 pushed by espertus
March 16, 2024 17:32 54s main
main
March 16, 2024 17:32 54s
Add environment setup Deploy Javadoc #43: Commit d25cc3a pushed by espertus
March 16, 2024 17:22 52s main
main
March 16, 2024 17:22 52s
pages build and deployment pages-build-deployment #31: by github-pages bot
March 16, 2024 17:07 43s javadoc
javadoc
March 16, 2024 17:07 43s
Provide IntelliJ setup instructions Deploy Javadoc #42: Commit 947da4d pushed by espertus
March 16, 2024 17:06 44s main
main
March 16, 2024 17:06 44s
pages build and deployment pages-build-deployment #30: by github-pages bot
March 13, 2024 01:10 2m 17s javadoc
javadoc
March 13, 2024 01:10 2m 17s
State how to find latest version number Deploy Javadoc #41: Commit 7cfb731 pushed by espertus
March 13, 2024 01:09 1m 0s main
main
March 13, 2024 01:09 1m 0s
pages build and deployment pages-build-deployment #29: by github-pages bot
March 13, 2024 00:55 55s javadoc
javadoc
March 13, 2024 00:55 55s
Create version 1.0.1 Deploy Javadoc #40: Commit df30c61 pushed by espertus
March 13, 2024 00:54 52s main
main
March 13, 2024 00:54 52s
pages build and deployment pages-build-deployment #28: by github-pages bot
March 12, 2024 18:18 52s javadoc
javadoc
March 12, 2024 18:18 52s
Fix issue 11 (misleading crosstest messages) Deploy Javadoc #39: Commit be84645 pushed by espertus
March 12, 2024 18:17 1m 0s main
main
March 12, 2024 18:17 1m 0s
pages build and deployment pages-build-deployment #27: by github-pages bot
March 12, 2024 05:24 40s javadoc
javadoc
March 12, 2024 05:24 40s
Fix link and mention config.ini Deploy Javadoc #38: Commit 9b5bc83 pushed by espertus
March 12, 2024 05:23 48s main
main
March 12, 2024 05:23 48s
Fix internal FAQ links Deploy Javadoc #37: Commit 2926806 pushed by espertus
March 12, 2024 05:10 48s main
main
March 12, 2024 05:10 48s
Remove mirrored scripts Deploy Javadoc #36: Commit 110ca81 pushed by espertus
March 10, 2024 01:21 48s main
main
March 10, 2024 01:21 48s
Add how to use v 1.0.0 Deploy Javadoc #35: Commit d78c136 pushed by espertus
March 9, 2024 18:01 51s main
main
March 9, 2024 18:01 51s
Improve punctuation Deploy Javadoc #34: Commit 4a85072 pushed by espertus
March 9, 2024 17:54 48s main
main
March 9, 2024 17:54 48s
Prepare docs for initial release Deploy Javadoc #33: Commit ad9295c pushed by espertus
March 9, 2024 17:44 43s main
main
March 9, 2024 17:44 43s
Add Q&A from Example 2 Deploy Javadoc #32: Commit 3fd52c1 pushed by espertus
March 9, 2024 03:50 52s main
main
March 9, 2024 03:50 52s
pages build and deployment pages-build-deployment #26: by github-pages bot
March 9, 2024 01:30 46s javadoc
javadoc
March 9, 2024 01:30 46s
Release v.1.0.0 Deploy Javadoc #31: Commit 038a8ea pushed by espertus
March 9, 2024 01:29 1m 0s main
main
March 9, 2024 01:29 1m 0s
Merge branch 'doc' Deploy Javadoc #30: Commit 370ddeb pushed by espertus
March 8, 2024 23:29 1m 1s main
main
March 8, 2024 23:29 1m 1s
pages build and deployment pages-build-deployment #25: by github-pages bot
March 8, 2024 21:42 53s javadoc
javadoc
March 8, 2024 21:42 53s
Remove target folder to publish at root Deploy Javadoc #29: Commit 83e8b28 pushed by espertus
March 8, 2024 21:42 42s main
main
March 8, 2024 21:42 42s