Skip to content

Actions: tmainiero/mwablab

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
Fix semtex site: unwrap \newmath, convert refs to hyperlinks, re-enab… Deploy docs to GitHub Pages #9: Commit 74f39e6 pushed by tmainiero
2m 54s main
main
2m 54s
pages build and deployment pages-build-deployment #10: by tmainiero
35s main
main
35s
Revert CI docs to build.sh (semtex site not ready yet) Deploy docs to GitHub Pages #8: Commit 8fe2521 pushed by tmainiero
2m 13s main
main
2m 13s
pages build and deployment pages-build-deployment #9: by tmainiero
40s main
main
40s
Fix semtex site: use pandoc template, CSS, MathML, proper layout Deploy docs to GitHub Pages #7: Commit abb17e0 pushed by tmainiero
2m 12s main
main
2m 12s
pages build and deployment pages-build-deployment #8: by tmainiero
44s main
main
44s
Switch CI docs to semtex site (TeX specs as single source) Deploy docs to GitHub Pages #6: Commit a7fdf2b pushed by tmainiero
2m 14s main
main
2m 14s
pages build and deployment pages-build-deployment #7: by tmainiero
43s main
main
43s
Semtex v2: atom-level tracking, UIDs, symbol inference, site generation Deploy docs to GitHub Pages #5: Commit 9ed2369 pushed by tmainiero
2m 37s main
main
2m 37s
pages build and deployment pages-build-deployment #6: by tmainiero
43s main
main
43s
Add Nix store caching to docs CI workflow Deploy docs to GitHub Pages #4: Commit bc8d12b pushed by tmainiero
1m 56s main
main
1m 56s
pages build and deployment pages-build-deployment #5: by tmainiero
43s main
main
43s
Use lean docs devShell in CI with semtex + pandoc + graphviz Deploy docs to GitHub Pages #3: Commit a28cb16 pushed by tmainiero
1m 31s main
main
1m 31s
pages build and deployment pages-build-deployment #4: by tmainiero
41s main
main
41s
Fix docs workflow: use apt pandoc instead of full nix dev shell Deploy docs to GitHub Pages #2: Commit 7c5f181 pushed by tmainiero
1m 27s main
main
1m 27s
pages build and deployment pages-build-deployment #3: by tmainiero
38s main
main
38s
Merge Phase 1b: Monoidal categories + Julia track Deploy docs to GitHub Pages #1: Commit f64bdac pushed by tmainiero
12m 53s main
main
12m 53s
pages build and deployment pages-build-deployment #2: by tmainiero
44s main
main
44s
pages build and deployment pages-build-deployment #1: by tmainiero
41s main
main
41s