marcoallegretti/likwid
1
0
Fork 0
mirror of https://codeberg.org/likwid/likwid.git synced 2026-02-09 21:13:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

ci: add frontend typecheck gate

Browse source
This commit is contained in:
Marco Allegretti 2026-02-06 19:31:06 +01:00
parent 33dfa8708e
commit be1c91feae
5 changed files with 906 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.woodpecker.yml
View file

@ -35,6 +35,7 @@ steps:
- | - |
cd frontend cd frontend
npm ci npm ci
npm run check
npm run build npm run build
services: services:

894
frontend/package-lock.json generated
View file

File diff suppressed because it is too large Load diff

5
frontend/package.json
View file

@ -6,11 +6,14 @@
"scripts": { "scripts": {
"dev": "astro dev", "dev": "astro dev",
"build": "astro build", "build": "astro build",
"check": "astro check --minimumSeverity error",
"preview": "astro preview", "preview": "astro preview",
"astro": "astro" "astro": "astro"
}, },
"dependencies": { "dependencies": {
"@astrojs/check": "^0.9.6",
"@astrojs/node": "^9.0.0",
"astro": "^5.16.15", "astro": "^5.16.15",
"@astrojs/node": "^9.0.0" "typescript": "^5.9.3"
} }
} }

7
frontend/src/components/ThemeSwitcher.astro
View file

@ -14,15 +14,16 @@
<script> <script>
import { getTheme, applyTheme, loadSavedTheme, saveTheme } from '../lib/themes'; import { getTheme, applyTheme, loadSavedTheme, saveTheme } from '../lib/themes';
const select = document.getElementById('theme-select'); const select = document.getElementById('theme-select') as HTMLSelectElement | null;
if (select) { if (select) {
const currentTheme = loadSavedTheme(); const currentTheme = loadSavedTheme();
select.value = currentTheme; select.value = currentTheme;
select.addEventListener('change', (e) => { select.addEventListener('change', (e) => {
const target = e.target; const target = e.currentTarget as HTMLSelectElement | null;
const themeId = target.value; const themeId = target?.value;
if (!themeId) return;
const theme = getTheme(themeId); const theme = getTheme(themeId);
applyTheme(theme); applyTheme(theme);
saveTheme(themeId); saveTheme(themeId);

6
frontend/src/components/voting/VotingMethodCard.astro
View file

@ -5,9 +5,9 @@
*/ */
interface Props { interface Props {
method: 'approval' | 'ranked_choice' | 'schulze' | 'star' | 'quadratic'; method: 'approval' | 'ranked_choice' | 'schulze' | 'star' | 'quadratic';
compact?; compact?: boolean;
selected?; selected?: boolean;
interactive?; interactive?: boolean;
} }
const { method, compact = false, selected = false, interactive = false } = Astro.props; const { method, compact = false, selected = false, interactive = false } = Astro.props;