pepperplus/pepperplus-ui
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Add experiment logs to the monitoring page #48

Merged
0950726 merged 122 commits from feat/experiment-logs into dev 2026-01-28 10:16:00 +00:00
Conversation 13 Commits 122 Files Changed 25 +6 -6
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 274ffb0238 - Show all commits

2
src/pages/VisProgPage/VisProg.tsx
View File

@@ -246,7 +246,7 @@ function VisProgPage() {
// however this would cause unneeded updates // however this would cause unneeded updates
// eslint-disable-next-line react-hooks/exhaustive-deps // eslint-disable-next-line react-hooks/exhaustive-deps
}, [severityIndex]); }, [severityIndex]);
console.log(programValidity); console.log(severityIndex);
return ( return (
<> <>
<VisualProgrammingUI/> <VisualProgrammingUI/>

10
src/pages/VisProgPage/visualProgrammingUI/components/WarningSidebar.tsx
View File

@@ -71,7 +71,7 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
global: props.warnings.filter(w => w.scope.id === globalWarning), global: props.warnings.filter(w => w.scope.id === globalWarning),
other: props.warnings.filter(w => w.scope.id !== globalWarning), other: props.warnings.filter(w => w.scope.id !== globalWarning),
} }
console.log(splitWarnings);
if (props.warnings.length === 0) { if (props.warnings.length === 0) {
return ( return (
<div className={styles.warningsEmpty}> <div className={styles.warningsEmpty}>
@@ -85,9 +85,9 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
<div className={styles.warningGroupHeader}>global:</div> <div className={styles.warningGroupHeader}>global:</div>
<div className={styles.warningsList}> <div className={styles.warningsList}>
{splitWarnings.global.map((warning) => ( {splitWarnings.global.map((warning) => (
<WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + warning.scope.handleId <WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + (warning.scope.handleId
? `:${warning.scope.handleId}` ? `:${warning.scope.handleId}`
: ""} : "")}
/> />
))} ))}
{splitWarnings.global.length === 0 && "No global warnings!"} {splitWarnings.global.length === 0 && "No global warnings!"}
@@ -97,9 +97,9 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
<div className={styles.warningGroupHeader}>other:</div> <div className={styles.warningGroupHeader}>other:</div>
<div className={styles.warningsList}> <div className={styles.warningsList}>
{splitWarnings.other.map((warning) => ( {splitWarnings.other.map((warning) => (
<WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + warning.scope.handleId <WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + (warning.scope.handleId
? `:${warning.scope.handleId}` ? `:${warning.scope.handleId}`
: ""} : "")}
/> />
))} ))}
{splitWarnings.other.length === 0 && "No other warnings!"} {splitWarnings.other.length === 0 && "No other warnings!"}