Workflow runs · tani/webtex · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

154 workflow runs

154 workflow runs

Revert "simplify build.ts" CI #102: Commit 1b0a617 pushed by tani

1m 48s develop

develop

1m 48s

feat: migrate app package from Vite to esbuild + zx CI #101: Commit 09cca82 pushed by tani

2m 54s develop

develop

2m 54s

cleanup package.json CI #100: Commit 306c9dd pushed by tani

2m 50s develop

develop

2m 50s

fix: improve CSS sync script reliability CI #99: Commit f125194 pushed by tani

2m 16s develop

develop

2m 16s

feat: optimize CSS handling for app package deployment CI #98: Commit 3b53755 pushed by tani

2m 58s develop

develop

2m 58s

update build script for app package CI #97: Commit a0b263d pushed by tani

1m 15s develop

develop

1m 15s

fix: resolve TypeScript configuration error in app package CI #96: Commit 7eab2c3 pushed by tani

1m 46s develop

develop

1m 46s

Add build:app CI #95: Commit 76bb929 pushed by tani

3m 11s develop

develop

3m 11s

Add symlink to dist in app CI #94: Commit f87c3f6 pushed by tani

2m 56s develop

develop

2m 56s

feat: improve bussproofs proof tree alignment and fix test snapshots CI #93: Commit 115b6a8 pushed by tani

3m 33s develop

develop

3m 33s

add @types/parsimmon CI #92: Commit 5b7201d pushed by tani

3m 22s develop

develop

3m 22s

Add parsimmon as dependency CI #91: Commit ad4190f pushed by tani

1m 52s develop

develop

1m 52s

refactor: rename 'compile' scripts to 'build' scripts CI #90: Commit ee0008d pushed by tani

2m 43s develop

develop

2m 43s

refactor: replace MathJax with KaTeX for math rendering CI #89: Commit 812b5f9 pushed by tani

3m 11s develop

develop

3m 11s

Add tests for commands CI #88: Commit adf855b pushed by tani

2m 16s develop

develop

2m 16s

Revert "feat: add bussproofs parser generation to build pipeline" CI #87: Commit d427a75 pushed by tani

1m 28s develop

develop

1m 28s

fix: prevent VSCode build script from copying files during clean CI #86: Commit 3bcd444 pushed by tani

2m 58s develop

develop

2m 58s

feat: migrate from Bun to npm package manager CI #85: Commit 13386c3 pushed by tani

3m 31s develop

develop

3m 31s

fix(amsthm): normalize ligature characters in environment and style n… CI #84: Commit 48a89d7 pushed by tani

1m 48s develop

develop

1m 48s

0.10.0 CI #83: Commit e9d34b6 pushed by tani

1m 47s develop

develop

1m 47s

simplify ci scirpt (take 2) CI #82: Commit 35473e8 pushed by tani

3m 35s develop

develop

3m 35s

disable cache CI #81: Commit d70c1df pushed by tani

2m 47s develop

develop

2m 47s

update ci script CI #80: Commit 518112c pushed by tani

4m 10s develop

develop

4m 10s

update ci script CI #79: Commit 592cef3 pushed by tani

3m 0s develop

develop

3m 0s

clean up test script CI #78: Commit 78be398 pushed by tani

1m 22s develop

develop

1m 22s