Skip to content

Actions: symposium-dev/symposium

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #37 from look/patch-1 CI #28: Commit 184e679 pushed by nikomatsakis
2m 53s main
main
2m 53s
Merge pull request #34 from nikomatsakis/embedded-project-design CI #25: Commit 7f437fd pushed by nikomatsakis
1m 51s main
main
1m 51s
Merge pull request #34 from nikomatsakis/embedded-project-design Deploy mdBook site to Pages #38: Commit 7f437fd pushed by nikomatsakis
1m 25s main
main
1m 25s
Merge pull request #35 from aaronjeline/fix/ui-delete-performance CI #24: Commit a78c131 pushed by nikomatsakis
2m 8s main
main
2m 8s
Merge pull request #35 from aaronjeline/fix/ui-delete-performance Deploy mdBook site to Pages #37: Commit a78c131 pushed by nikomatsakis
1m 13s main
main
1m 13s
Draft RFD: In-place Symposium project integration CI #23: Pull request #34 synchronize by aaronjeline
2m 12s nikomatsakis:embedded-project-design
nikomatsakis:embedded-project-design
2m 12s
Fix UI lag during taskspace deletion by making operations async CI #22: Pull request #35 synchronize by aaronjeline
2m 0s aaronjeline:fix/ui-delete-performance
aaronjeline:fix/ui-delete-performance
2m 0s
Fix UI lag during taskspace deletion by making operations async CI #21: Pull request #35 reopened by aaronjeline
2m 6s aaronjeline:fix/ui-delete-performance
aaronjeline:fix/ui-delete-performance
2m 6s
Fix UI lag during taskspace deletion by making operations async CI #20: Pull request #35 synchronize by aaronjeline
2m 9s aaronjeline:fix/ui-delete-performance
aaronjeline:fix/ui-delete-performance
2m 9s
Fix UI lag during taskspace deletion by making operations async CI #19: Pull request #35 opened by aaronjeline
3m 12s aaronjeline:fix/ui-delete-performance
aaronjeline:fix/ui-delete-performance
3m 12s
Draft RFD: In-place Symposium project integration CI #18: Pull request #34 opened by nikomatsakis
2m 0s nikomatsakis:embedded-project-design
nikomatsakis:embedded-project-design
2m 0s
Merge pull request #32 from kkashilk/main Deploy mdBook site to Pages #36: Commit 33910a9 pushed by nikomatsakis
1m 20s main
main
1m 20s
Merge pull request #32 from kkashilk/main CI #16: Commit 33910a9 pushed by nikomatsakis
2m 22s main
main
2m 22s
Merge pull request #31 from nikomatsakis/vscode-pid-optional Deploy mdBook site to Pages #35: Commit 4d9acf5 pushed by nikomatsakis
1m 10s main
main
1m 10s
Merge pull request #31 from nikomatsakis/vscode-pid-optional CI #14: Commit 4d9acf5 pushed by nikomatsakis
2m 36s main
main
2m 36s
Merge pull request #29 from aaronjeline/main CI #13: Commit 269adcc pushed by nikomatsakis
2m 13s main
main
2m 13s
Merge pull request #29 from aaronjeline/main Deploy mdBook site to Pages #34: Commit 269adcc pushed by nikomatsakis
1m 12s main
main
1m 12s
Fix three onboarding issues CI #12: Pull request #29 synchronize by aaronjeline
2m 7s aaronjeline:main
aaronjeline:main
2m 7s
fix: make VSCode PID optional in MCP server CI #9: Pull request #31 opened by nikomatsakis
2m 42s nikomatsakis:vscode-pid-optional
nikomatsakis:vscode-pid-optional
2m 42s
Fix three onboarding issues CI #8: Pull request #29 synchronize by nikomatsakis
3m 3s aaronjeline:main
aaronjeline:main
3m 3s
Merge pull request #30 from nikomatsakis/add-ci Deploy mdBook site to Pages #33: Commit 8fd1a9c pushed by nikomatsakis
1m 21s main
main
1m 21s
Merge pull request #30 from nikomatsakis/add-ci CI #7: Commit 8fd1a9c pushed by nikomatsakis
2m 8s main
main
2m 8s
Add ci CI #6: Pull request #30 synchronize by nikomatsakis
2m 4s nikomatsakis:add-ci
nikomatsakis:add-ci
2m 4s
Add ci CI #5: Pull request #30 synchronize by nikomatsakis
2m 2s nikomatsakis:add-ci
nikomatsakis:add-ci
2m 2s
Add ci CI #4: Pull request #30 synchronize by nikomatsakis
2m 8s nikomatsakis:add-ci
nikomatsakis:add-ci
2m 8s
ProTip! You can narrow down the results and go further in time using created:<2025-09-27 or the other filters available.