Skip to content

Actions: SJTU-IPADS/OS-Course-Lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #26 from ToolmanP/main GitHub Pages #7: Commit db64155 pushed by ToolmanP
September 7, 2024 08:52 53s main
main
September 7, 2024 08:52 53s
Merge pull request #26 from ToolmanP/main Commitlint #9: Commit db64155 pushed by ToolmanP
September 7, 2024 08:52 30s main
main
September 7, 2024 08:52 30s
docs: enhance README.md Commitlint #8: Pull request #26 opened by ToolmanP
September 7, 2024 08:52 32s ToolmanP:main
ToolmanP:main
September 7, 2024 08:52 32s
Merge pull request #25 from ToolmanP/main GitHub Pages #6: Commit 3daeb07 pushed by ToolmanP
September 7, 2024 07:25 1m 6s main
main
September 7, 2024 07:25 1m 6s
Merge pull request #25 from ToolmanP/main Commitlint #7: Commit 3daeb07 pushed by ToolmanP
September 7, 2024 07:25 28s main
main
September 7, 2024 07:25 28s
docs: enhance docs about debugging and source code reading Commitlint #6: Pull request #25 opened by ToolmanP
September 7, 2024 07:25 31s ToolmanP:main
ToolmanP:main
September 7, 2024 07:25 31s
Merge pull request #24 from ToolmanP/main Commitlint #5: Commit 3068ac1 pushed by ToolmanP
September 7, 2024 06:51 26s main
main
September 7, 2024 06:51 26s
Merge pull request #24 from ToolmanP/main GitHub Pages #5: Commit 3068ac1 pushed by ToolmanP
September 7, 2024 06:51 51s main
main
September 7, 2024 06:51 51s
refactor: move build scripts to top level Commitlint #4: Pull request #24 opened by ToolmanP
September 7, 2024 06:51 26s ToolmanP:main
ToolmanP:main
September 7, 2024 06:51 26s
Merge pull request #23 from ToolmanP/main GitHub Pages #4: Commit 4c90ac9 pushed by ToolmanP
September 6, 2024 06:48 1m 5s main
main
September 6, 2024 06:48 1m 5s
Merge pull request #23 from ToolmanP/main Commitlint #3: Commit 4c90ac9 pushed by ToolmanP
September 6, 2024 06:48 27s main
main
September 6, 2024 06:48 27s
ci: enable commitlint && markdownlint Commitlint #2: Pull request #23 synchronize by ToolmanP
September 6, 2024 06:43 31s ToolmanP:main
ToolmanP:main
September 6, 2024 06:43 31s
ci: enable commitlint && markdownlint Commitlint #1: Pull request #23 opened by ToolmanP
September 6, 2024 06:41 31s ToolmanP:main
ToolmanP:main
September 6, 2024 06:41 31s
Infra: introduce dev-container with debugging support and refactor gr… GitHub Pages #3: Commit 668593f pushed by ToolmanP
September 5, 2024 18:17 46s main
main
September 5, 2024 18:17 46s
chore: update github badges (#20) GitHub Pages #2: Commit 01b999d pushed by ToolmanP
August 17, 2024 16:09 39s main
main
August 17, 2024 16:09 39s
Merge pull request #19 from ToolmanP/main GitHub Pages #1: Commit e488c9c pushed by ToolmanP
August 17, 2024 16:01 41s main
main
August 17, 2024 16:01 41s
ProTip! You can narrow down the results and go further in time using created:<2024-08-17 or the other filters available.