Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
In this repository
All GitHub Enterprise
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub Enterprise
↵
Jump to
↵
In this organization
All GitHub Enterprise
↵
Jump to
↵
In this repository
All GitHub Enterprise
↵
Jump to
↵
Sign in
Appearance settings
Resetting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
IT2810-H26
/
T09-Project-1
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
0
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security
Insights
Maybe fix deploy script
#26
Merged
henrygr
merged 1 commit into
main
from
fix-deploy-script-maybe
Sep 17, 2026
+2
−2
Conversation
2
Commits
1
Checks
1
Files changed
1
Maybe fix deploy
736bba5
Select commit
Loading
Failed to load commit list.
Uh oh!
There was an error while loading.
Please reload this page
.
Sign in for the full log view
Merged
Maybe fix deploy script
#26
Maybe fix deploy
736bba5
Select commit
Loading
Failed to load commit list.
Uh oh!
There was an error while loading.
Please reload this page
.
lint-and-format
succeeded
Sep 17, 2026
in 16s
Loading
Re-running jobs...
You can’t perform that action at this time.