Skip to content

Actions: zwang271/WEST

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #18: by zwang271
42s main
main
42s
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
pages build and deployment pages-build-deployment #17: by zwang271
31s main
main
31s
pages build and deployment pages-build-deployment #16: by zwang271
34s main
main
34s
pages build and deployment pages-build-deployment #15: by zwang271
34s main
main
34s
pages build and deployment pages-build-deployment #14: by zwang271
28s main
main
28s
pages build and deployment pages-build-deployment #13: by zwang271
31s main
main
31s
pages build and deployment pages-build-deployment #12: by zwang271
37s main
main
37s
pages build and deployment pages-build-deployment #11: by zwang271
39s main
main
39s
pages build and deployment pages-build-deployment #10: by zwang271
32s main
main
32s