Skip to content

Actions: EduIDE/Docs

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integrate feedback Deploy to GitHub Pages #31: Commit 6c728e8 pushed by lukaskratzel
1m 53s main
main
1m 53s
Initial draft admin docs Deploy to GitHub Pages #30: Commit 398e9d8 pushed by KevinGruber2001
1m 59s main
main
1m 59s
fix: disable darkmode Deploy to GitHub Pages #29: Commit 5b561dd pushed by Fangoling
1m 44s main
main
1m 44s
Merge pull request #5 from EduIDE/marketing-page Deploy to GitHub Pages #28: Commit 21c64f8 pushed by Fangoling
2m 0s main
main
2m 0s
add screen recording Deploy to GitHub Pages #27: Commit c06ace7 pushed by lukaskratzel
1m 46s main
main
1m 46s
add screen recording Deploy to GitHub Pages #26: Commit f8adeed pushed by lukaskratzel
1m 48s main
main
1m 48s
Fix Docusaurus image height-limiting behavior and update docs Deploy to GitHub Pages #25: Commit 5495fdf pushed by CodeByNikolas
2m 1s main
main
2m 1s
Refine student quickstart and add Artemis launch flow Deploy to GitHub Pages #24: Commit df6b09e pushed by CodeByNikolas
1m 41s main
main
1m 41s
Merge pull request #4 from EduIDE/docs/improve-gradle-cache-docs Deploy to GitHub Pages #23: Commit 5af73b8 pushed by KevinGruber2001
1m 48s main
main
1m 48s
Remove unnecessary product section from footer Deploy to GitHub Pages #22: Commit 63c5ad2 pushed by lukaskratzel
1m 21s main
main
1m 21s
Revert "Move base url to '/'" Deploy to GitHub Pages #21: Commit b031e0a pushed by lukaskratzel
1m 49s main
main
1m 49s
Move base url to '/' Deploy to GitHub Pages #20: Commit a7ac82d pushed by lukaskratzel
1m 22s main
main
1m 22s
Adds imprint and license Deploy to GitHub Pages #19: Commit 01b5aa8 pushed by lukaskratzel
1m 46s main
main
1m 46s
Add instructor docs Deploy to GitHub Pages #18: Commit d9f98ea pushed by lukaskratzel
1m 57s main
main
1m 57s
Restructure docs around personas and implement developer docs Deploy to GitHub Pages #17: Commit 68bc538 pushed by lukaskratzel
1m 46s main
main
1m 46s
docs: correct blueprints repo to EduIDE/EduIDE (was artemis-theia-blu… Deploy to GitHub Pages #16: Commit 094aa8a pushed by CodeByNikolas
1m 5s main
main
1m 5s
Merge pull request #3 from EduIDE/add-auto-assign-action Deploy to GitHub Pages #15: Commit 8b67fec pushed by Mtze
1m 33s main
main
1m 33s
fix: properly configure docs-only mode with homepage slug Deploy to GitHub Pages #14: Commit 518fa8b pushed by CodeByNikolas
1m 3s main
main
1m 3s
chore: remove all remaining Docusaurus boilerplate files Deploy to GitHub Pages #13: Commit 0151500 pushed by CodeByNikolas
59s main
main
59s
feat: replace custom homepage with docs intro as landing page Deploy to GitHub Pages #12: Commit c676e5a pushed by CodeByNikolas
1m 4s main
main
1m 4s
chore: update favicon to EduTheia logo and remove boilerplate feature… Deploy to GitHub Pages #11: Commit e37922b pushed by CodeByNikolas
1m 11s main
main
1m 11s
docs: standardize all project documentation naming Deploy to GitHub Pages #10: Commit 21af4ad pushed by CodeByNikolas
1m 8s main
main
1m 8s
feat: add Contributions section for student thesis documentation Deploy to GitHub Pages #9: Commit 1bdf6a1 pushed by CodeByNikolas
1m 13s main
main
1m 13s
docs: remove Docusaurus boilerplate and update to EduTheia content Deploy to GitHub Pages #8: Commit fdd496b pushed by CodeByNikolas
1m 3s main
main
1m 3s
Merge pull request #1 from ls1intum/whitesource/configure Deploy to GitHub Pages #7: Commit e15ccfd pushed by CodeByNikolas
2m 27s main
main
2m 27s