Skip to content

Actions: TELOS-syslab/telos-syslab.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add new interrupts Deploy Jekyll site to GitHub Pages #184: Commit 3e2fa45 pushed by ArtistFish
1m 1s main
main
1m 1s
Stabilize Liquid sort order Deploy Jekyll site to GitHub Pages #183: Commit 4977b88 pushed by ArtistFish
45s main
main
45s
Fix Threadlet order for GitHub Pages Deploy Jekyll site to GitHub Pages #182: Commit daaa8d7 pushed by ArtistFish
45s main
main
45s
Fix Threadlet publication order Deploy Jekyll site to GitHub Pages #181: Commit c527116 pushed by ArtistFish
50s main
main
50s
fix Deploy Jekyll site to GitHub Pages #180: Commit 9a722a6 pushed by ArtistFish
54s main
main
54s
fix order Deploy Jekyll site to GitHub Pages #179: Commit 57e8706 pushed by ArtistFish
53s main
main
53s
update paper and new interrupts Deploy Jekyll site to GitHub Pages #178: Commit 6ca0676 pushed by ArtistFish
1m 20s main
main
1m 20s
fix; final changes Deploy Jekyll site to GitHub Pages #177: Commit 2da0d58 pushed by 5ujinKang
52s main
main
52s
fix: distance between hamburger button and logo Deploy Jekyll site to GitHub Pages #176: Commit 650a902 pushed by 5ujinKang
46s main
main
46s
change; logo margin Deploy Jekyll site to GitHub Pages #175: Commit b48cc40 pushed by 5ujinKang
44s main
main
44s
fix; logo resize & move wechat button Deploy Jekyll site to GitHub Pages #174: Commit df15cf1 pushed by 5ujinKang
52s main
main
52s
update; 0604 feedback Deploy Jekyll site to GitHub Pages #173: Commit 7d00b0b pushed by 5ujinKang
49s main
main
49s
add Prof. Tao Xie Deploy Jekyll site to GitHub Pages #172: Commit 3a33b28 pushed by c-9
51s main
main
51s
Add funding logos for ByteDance and ZTE Deploy Jekyll site to GitHub Pages #171: Commit b22a232 pushed by zouyonghao
49s main
main
49s
Update; readme with design artifact Deploy Jekyll site to GitHub Pages #170: Commit fd7eb02 pushed by 5ujinKang
47s main
main
47s
Change; main image Deploy Jekyll site to GitHub Pages #169: Commit 6153029 pushed by 5ujinKang
58s main
main
58s
Change; main image Deploy Jekyll site to GitHub Pages #168: Commit 0433279 pushed by 5ujinKang
58s main
main
58s
Change; tab title font size Deploy Jekyll site to GitHub Pages #167: Commit 7489612 pushed by 5ujinKang
1m 6s main
main
1m 6s
change; menu & category font Deploy Jekyll site to GitHub Pages #166: Commit 73a7fc4 pushed by 5ujinKang
1m 3s main
main
1m 3s
Change; main logo, menu logo, menu font, category title font Deploy Jekyll site to GitHub Pages #165: Commit 47eed54 pushed by 5ujinKang
48s main
main
48s
Change; banner image Deploy Jekyll site to GitHub Pages #164: Commit f4f3f11 pushed by 5ujinKang
53s main
main
53s
change; wechat; button -> banner Deploy Jekyll site to GitHub Pages #163: Commit 5fc9177 pushed by 5ujinKang
52s main
main
52s
fix; physical addr name Deploy Jekyll site to GitHub Pages #162: Commit e607c5e pushed by 5ujinKang
1m 1s main
main
1m 1s
remove; text from power supply Deploy Jekyll site to GitHub Pages #161: Commit c2bcd3b pushed by 5ujinKang
46s main
main
46s
Add new interrupts and fix publications Deploy Jekyll site to GitHub Pages #160: Commit 3203e08 pushed by ArtistFish
53s main
main
53s