File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ name: "Lighthouse Badger"
1414
1515# INPUTS as environmental variables (env) for not manually triggered workflows
1616env :
17- URLS : https://alshedivat .github.io/al-folio /
17+ URLS : https://iisc-hiro .github.io/
1818 TOKEN_NAME : LIGHTHOUSE_BADGER_TOKEN
1919 # If any of the following env is blank, a default value is used instead
2020 REPO_BRANCH : " ${{ github.repository }} master" # target repository & branch e.g. 'dummy/mytargetrepo main'
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ permalink: /
1818
1919 <div class="hero-links">
2020 <a href="https://github.com/IISc-HiRo">Github</a>
21+ <a href="https://www.linkedin.com/company/iisc-hiro-lab/">LinkedIn</a>
2122 <a href="https://hiro.cps.iisc.ac.in/contact/">Open Position</a>
2223 </div>
2324 </div >
Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ permalink: /people/
5050 <span class="role">Safety Critical Control, Formal Methods for Imitation Learning</span>
5151 </div>
5252 <div class="person-card">
53- <a href="https://sasidharalavala.github.io/ " target="_blank" class="person-image-link">
53+ <a href="# " target="_blank" class="person-image-link">
5454 <img src="/assets/img/people/sasidhar_alavala.JPG" alt="Sasidhar Alavala"/>
5555 </a>
5656 <div class="person-links">
You can’t perform that action at this time.
0 commit comments