Skip to content

Actions: zwang271/WEST

Actions

Deploy WEST to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
10 workflow runs
10 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
added link to mltl tools page Deploy WEST to GitHub Pages #10: Commit 21cd99a pushed by zwang271
52s main
main
52s
Create CNAME Deploy WEST to GitHub Pages #9: Commit 6322350 pushed by zwang271
50s main
main
50s
broke up different pages into separate urls Deploy WEST to GitHub Pages #8: Commit 9f1fa0f pushed by zwang271
1m 0s main
main
1m 0s
minor UI updates Deploy WEST to GitHub Pages #7: Commit 26cfc7c pushed by zwang271
56s main
main
56s
major web UI improvements, fixes subformula displays and computations… Deploy WEST to GitHub Pages #6: Commit 97a53b3 pushed by zwang271
1m 3s main
main
1m 3s
added frontend support to render interactive tables, random SAT and U… Deploy WEST to GitHub Pages #5: Commit 7c2a0ef pushed by zwang271
55s main
main
55s
redirected base of vite config Deploy WEST to GitHub Pages #4: Commit 38de2fd pushed by zwang271
48s main
main
48s
fix: set base path to /WEST/ for github.io deployment Deploy WEST to GitHub Pages #3: Commit c776f5e pushed by zwang271
59s main
main
59s
Deploy WEST to GitHub Pages Deploy WEST to GitHub Pages #2: Manually run by zwang271
53s main
main
53s
github pages frontend + web assembly version of rust implementation Deploy WEST to GitHub Pages #1: Commit 099dd8f pushed by zwang271
58s main
main
58s