pi-base / viewer / 346628148

Builds Branch Commit Type Ran Committer Via Coverage
346628148 svelte-cicd Add cypress for end to end tests push James Dabbs github pending completion   set done
346620683 svelte-cicd Add cypress for end to end tests push James Dabbs github pending completion   set done
346613596 svelte-cicd Add cypress for end to end tests push James Dabbs github pending completion   set done
346609648 svelte-cicd Add cypress for end to end tests push James Dabbs github pending completion   set done
346599493 svelte-cicd Add cypress for end to end tests push James Dabbs github pending completion   set done
346327841 svelte Add space <=> theorem counterexample related tabs push James Dabbs github pending completion   set done
346324763 svelte-search Add space <=> theorem counterexample related tabs push James Dabbs github pending completion   set done
340709810 svelte Move theorems-for-property lookup to model push James Dabbs github pending completion   set done
340708058 svelte-models Move theorems-for-property lookup to model push James Dabbs github pending completion   set done
340346794 svelte Add trait show page push James Dabbs github pending completion   set done
340345563 svelte-traits Add trait show page push James Dabbs github pending completion   set done
339606237 svelte Implement related theorem and reference tabs push James Dabbs github pending completion   set done
339605548 svelte-related Implement related theorem and reference tabs push James Dabbs github pending completion   set done
339396979 svelte-related Add tabs to show pages, implement references tab push James Dabbs github pending completion   set done
338263716 svelte Add example widget to dev editor page push James Dabbs github pending completion   set done