Skip to content

Commit b071693

Browse files
committed
update bug number, add video
1 parent 1bb6d30 commit b071693

File tree

2 files changed

+70
-2
lines changed

2 files changed

+70
-2
lines changed

docs/index.html

Lines changed: 35 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,6 +90,40 @@
9090
<span>PLDI 2025</span>
9191
</a>
9292
</li>
93+
<li>
94+
<a
95+
href="https://www.youtube.com/watch?v=ihi_cdjLJZo"
96+
class="flex items-center space-x-2"
97+
>
98+
<svg
99+
fill="currentColor"
100+
aria-hidden="true"
101+
viewBox="0 0 24 24"
102+
class="h-4 w-4 flex-none"
103+
>
104+
<g>
105+
<g>
106+
<g>
107+
<path
108+
d="M20,24H4c-2.2,0-4-1.8-4-4V4c0-2.2,1.8-4,4-4h16c2.2,0,4,1.8,4,4v16C24,22.2,22.2,24,20,24z M4,2C2.9,2,2,2.9,2,4v16
109+
c0,1.1,0.9,2,2,2h16c1.1,0,2-0.9,2-2V4c0-1.1-0.9-2-2-2H4z"
110+
/>
111+
</g>
112+
</g>
113+
<g>
114+
<g>
115+
<path
116+
d="M9,17c-0.2,0-0.3,0-0.5-0.1C8.2,16.7,8,16.4,8,16V8c0-0.4,0.2-0.7,0.5-0.9c0.3-0.2,0.7-0.2,1,0l7,4
117+
c0.3,0.2,0.5,0.5,0.5,0.9s-0.2,0.7-0.5,0.9l-7,4C9.3,17,9.2,17,9,17z M10,9.7v4.6l4-2.3L10,9.7z"
118+
/>
119+
</g>
120+
</g>
121+
</g>
122+
</svg>
123+
124+
<span>Video</span>
125+
</a>
126+
</li>
93127
<li class="flex px-1 py-0.5">
94128
<a
95129
href="https://github.com/prosyslab/optimuzz"
@@ -168,7 +202,7 @@ <h3 class="text-3xl mb-3 text-center">Our Bug Reports</h3>
168202
class="flex-1 text-center border rounded-lg py-4 bg-red-50 hover:bg-red-100 transition"
169203
>
170204
<div class="text-2xl text-gray-700">Pending</div>
171-
<div class="text-6xl font-bold text-red-900">35</div>
205+
<div class="text-6xl font-bold text-red-900">36</div>
172206
</a>
173207
</div>
174208
</div>

layouts/index.html

Lines changed: 35 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,40 @@
7070
<span>PLDI 2025</span>
7171
</a>
7272
</li>
73+
<li>
74+
<a
75+
href="https://www.youtube.com/watch?v=ihi_cdjLJZo"
76+
class="flex items-center space-x-2"
77+
>
78+
<svg
79+
fill="currentColor"
80+
aria-hidden="true"
81+
viewBox="0 0 24 24"
82+
class="h-4 w-4 flex-none"
83+
>
84+
<g>
85+
<g>
86+
<g>
87+
<path
88+
d="M20,24H4c-2.2,0-4-1.8-4-4V4c0-2.2,1.8-4,4-4h16c2.2,0,4,1.8,4,4v16C24,22.2,22.2,24,20,24z M4,2C2.9,2,2,2.9,2,4v16
89+
c0,1.1,0.9,2,2,2h16c1.1,0,2-0.9,2-2V4c0-1.1-0.9-2-2-2H4z"
90+
/>
91+
</g>
92+
</g>
93+
<g>
94+
<g>
95+
<path
96+
d="M9,17c-0.2,0-0.3,0-0.5-0.1C8.2,16.7,8,16.4,8,16V8c0-0.4,0.2-0.7,0.5-0.9c0.3-0.2,0.7-0.2,1,0l7,4
97+
c0.3,0.2,0.5,0.5,0.5,0.9s-0.2,0.7-0.5,0.9l-7,4C9.3,17,9.2,17,9,17z M10,9.7v4.6l4-2.3L10,9.7z"
98+
/>
99+
</g>
100+
</g>
101+
</g>
102+
</svg>
103+
104+
<span>Video</span>
105+
</a>
106+
</li>
73107
<li class="flex px-1 py-0.5">
74108
<a
75109
href="https://github.com/prosyslab/optimuzz"
@@ -148,7 +182,7 @@ <h3 class="text-3xl mb-3 text-center">Our Bug Reports</h3>
148182
class="flex-1 text-center border rounded-lg py-4 bg-red-50 hover:bg-red-100 transition"
149183
>
150184
<div class="text-2xl text-gray-700">Pending</div>
151-
<div class="text-6xl font-bold text-red-900">35</div>
185+
<div class="text-6xl font-bold text-red-900">36</div>
152186
</a>
153187
</div>
154188
</div>

0 commit comments

Comments
 (0)