Skip to content

Actions: SJTU-IPADS/OS-Course-Lab

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update sudo warning
GitHub Pages #19: Commit 3b36714 pushed by ToolmanP
November 5, 2024 11:50 1m 9s main
November 5, 2024 11:50 1m 9s
docs: update sudo warning
Commitlint #83: Commit 3b36714 pushed by ToolmanP
November 5, 2024 11:50 32s main
November 5, 2024 11:50 32s
fix: fix github-pages
Commitlint #82: Commit 1059d84 pushed by ToolmanP
November 5, 2024 11:49 28s main
November 5, 2024 11:49 28s
Merge pull request #58 from ToolmanP/main
Commitlint #81: Commit c5618c1 pushed by ToolmanP
October 30, 2024 15:28 28s main
October 30, 2024 15:28 28s
fix(lab0): fix typo
Commitlint #80: Pull request #58 opened by ToolmanP
October 30, 2024 15:28 27s ToolmanP:main
October 30, 2024 15:28 27s
Merge pull request #53 from juxtaly/fix-env
Commitlint #79: Commit 9307680 pushed by ToolmanP
October 30, 2024 15:21 30s main
October 30, 2024 15:21 30s
feat(doc): add some hints about aarch64 in Lab0
Commitlint #78: Pull request #57 opened by anexpn
October 30, 2024 14:05 32s anexpn:feat-lab0-instr
October 30, 2024 14:05 32s
fix: Revert "feat: block any attempts to use sudo"
Commitlint #77: Commit ae3d195 pushed by ToolmanP
October 30, 2024 11:51 28s main
October 30, 2024 11:51 28s
feat: block any attempts to use sudo
Commitlint #76: Commit b6cf0d2 pushed by ToolmanP
October 30, 2024 08:21 26m 9s main
October 30, 2024 08:21 26m 9s
fix: use '/usr/bin/env bash' for shell interpreter
Commitlint #75: Pull request #53 opened by anexpn
October 29, 2024 12:38 29s anexpn:fix-env
October 29, 2024 12:38 29s
GitHub Pages
GitHub Pages #18: Manually run by ToolmanP
October 29, 2024 03:49 1m 0s main
October 29, 2024 03:49 1m 0s
Merge pull request #51 from ToolmanP/main
Commitlint #74: Commit e3096f9 pushed by ToolmanP
October 29, 2024 03:48 27s main
October 29, 2024 03:48 27s
fix: minor fix on grader and docs
Commitlint #73: Pull request #51 opened by ToolmanP
October 29, 2024 03:48 29s ToolmanP:main
October 29, 2024 03:48 29s
Merge pull request #50 from ToolmanP/main
Commitlint #72: Commit 4bdbbcc pushed by ToolmanP
October 29, 2024 03:10 28s main
October 29, 2024 03:10 28s
fix: do not default gdb path
Commitlint #71: Pull request #50 opened by ToolmanP
October 29, 2024 03:10 33s ToolmanP:main
October 29, 2024 03:10 33s
GitHub Pages
GitHub Pages #17: Manually run by ToolmanP
October 28, 2024 17:00 1m 16s main
October 28, 2024 17:00 1m 16s
docs: use gzip instead of zstd
Commitlint #70: Commit e5461f1 pushed by ToolmanP
October 28, 2024 17:00 29s main
October 28, 2024 17:00 29s
GitHub Pages
GitHub Pages #16: Manually run by ToolmanP
October 28, 2024 16:56 27s main
October 28, 2024 16:56 27s
docs: use gzip instead of zstd
Commitlint #69: Commit 65cd750 pushed by ToolmanP
October 28, 2024 16:55 29s main
October 28, 2024 16:55 29s
feat(lab0): add docker_run for grader
Commitlint #68: Commit f598390 pushed by ToolmanP
October 28, 2024 13:10 29s main
October 28, 2024 13:10 29s
Merge pull request #48 from ToolmanP/main
Commitlint #67: Commit 6b7f545 pushed by ToolmanP
October 28, 2024 13:06 29s main
October 28, 2024 13:06 29s
fix: subtle enhancements
Commitlint #66: Pull request #48 opened by ToolmanP
October 28, 2024 13:06 27s ToolmanP:main
October 28, 2024 13:06 27s
feat: release v24.09.1
Release #4: Commit 6d49041 pushed by ToolmanP
October 26, 2024 13:41 3m 34s v24.09.1
October 26, 2024 13:41 3m 34s
feat: release v24.09.1
Commitlint #65: Commit 6d49041 pushed by ToolmanP
October 26, 2024 13:41 32s v24.09.1
October 26, 2024 13:41 32s
feat: release v24.09.1
Commitlint #64: Commit 6d49041 pushed by ToolmanP
October 26, 2024 13:41 33s main
October 26, 2024 13:41 33s