Skip to content

Actions: EduIDE/Docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add instructor docs Deploy to GitHub Pages #18: Commit d9f98ea pushed by lukaskratzel
1m 57s main
main
1m 57s
Push on main CodeQL #8: by lukaskratzel
1m 22s main
main
1m 22s
Restructure docs around personas and implement developer docs Deploy to GitHub Pages #17: Commit 68bc538 pushed by lukaskratzel
1m 46s main
main
1m 46s
Push on main CodeQL #7: by lukaskratzel
1m 16s main
main
1m 16s
Scheduled CodeQL #6: by github-advanced-security AI
1m 8s main
main
1m 8s
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
Push on main CodeQL #5: by CodeByNikolas
1m 16s main
main
1m 16s
Scheduled CodeQL #4: by github-advanced-security AI
1m 8s main
main
1m 8s
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
Push on main CodeQL #3: by Mtze
1m 29s main
main
1m 29s
Add auto-assign PR author workflow Auto Assign PR Author #1: Pull request #3 opened by Mtze
1m 7s add-auto-assign-action
add-auto-assign-action
1m 7s
PR #3 CodeQL #2: by Mtze
3m 34s refs/pull/3/head
refs/pull/3/head
3m 34s
CodeQL Setup CodeQL #1: by Mtze
4m 55s main
main
4m 55s
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
Docs: Add cross-links between projects Deploy to GitHub Pages #6: Commit 897a7ca pushed by CodeByNikolas
8m 30s main
main
8m 30s
Feat: Add documentation pages for 9 EduTheia projects Deploy to GitHub Pages #5: Commit 03a6711 pushed by CodeByNikolas
3m 22s main
main
3m 22s
Config: Set Dark Mode as default Deploy to GitHub Pages #4: Commit cf608ea pushed by CodeByNikolas
1m 48s main
main
1m 48s
Feat: Apply EduTheia branding (Logo & Colors) Deploy to GitHub Pages #3: Commit 63b7cd1 pushed by CodeByNikolas
1m 18s main
main
1m 18s