Show worker costs

closes #1527 (closed)

requires backend!2514 (merged)

changed milestone to %Arkindex 1.7.2

requested review from @erouchet

assigned to @mlbonhomme

requested changes

added 1 commit

• 0553820a - costs are string

Compare with previous version

resolved all threads

added 1 commit

• 18c421de - add hasCosts helper + add costs to worker details view

Compare with previous version

resolved all threads

added 1 commit

• 3fa11933 - Explicit typing and VSCode linting errors

Compare with previous version

added 6 commits

• 3fa11933...4fe015a0 - 2 commits from branch release-1.7.2
• 38f6f0c2 - Show worker costs
• e2a31561 - costs are string
• f0a68893 - add hasCosts helper + add costs to worker details view
• 00cac228 - Explicit typing and VSCode linting errors

Compare with previous version

enabled an automatic merge when all merge checks for 00cac228 pass

merged