Skip to content

Actions: lukstafi/curious-ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify: replace array by matrix Deploy static content to Pages #24: Commit e72b253 pushed by lukstafi
November 13, 2023 15:33 30s main
main
November 13, 2023 15:33 30s
Top-level chapters: small heading fixes Deploy static content to Pages #23: Commit 15443af pushed by lukstafi
November 2, 2023 12:56 33s main
main
November 2, 2023 12:56 33s
Fix file concatenation (separate out headings) Deploy static content to Pages #22: Commit a1095a0 pushed by lukstafi
November 2, 2023 12:49 28s main
main
November 2, 2023 12:49 28s
Table of Contents and a small fix Deploy static content to Pages #21: Commit 23126a5 pushed by lukstafi
November 2, 2023 12:28 26s main
main
November 2, 2023 12:28 26s
$\text$ on top of $\texttt$ is redundant Deploy static content to Pages #20: Commit 7035688 pushed by lukstafi
November 2, 2023 12:09 26s main
main
November 2, 2023 12:09 26s
Lecture 1 cleanup: table 1 and 2 Deploy static content to Pages #19: Commit fe70def pushed by lukstafi
November 2, 2023 11:48 32s main
main
November 2, 2023 11:48 32s
A few quick fixes to the autogenerated markdown Deploy static content to Pages #18: Commit e304773 pushed by lukstafi
October 26, 2023 19:35 29s main
main
October 26, 2023 19:35 29s
Missing tm -> md translations with adaptations Deploy static content to Pages #17: Commit 89cbe66 pushed by lukstafi
October 26, 2023 16:39 32s main
main
October 26, 2023 16:39 32s
Revert "More faithful route: native TeXmacs -> LaTeX" Deploy static content to Pages #16: Commit e92fb84 pushed by lukstafi
October 26, 2023 14:58 28s main
main
October 26, 2023 14:58 28s
The TeXmacs style I created for syntax highlighting Deploy static content to Pages #15: Commit 7707b94 pushed by lukstafi
October 26, 2023 14:30 34s main
main
October 26, 2023 14:30 34s
More faithful route: native TeXmacs -> LaTeX Deploy static content to Pages #14: Commit c815dcf pushed by lukstafi
October 26, 2023 14:28 24s main
main
October 26, 2023 14:28 24s
Restructure old_lectures_as_book chapters Deploy static content to Pages #13: Commit d644e63 pushed by lukstafi
October 26, 2023 11:48 25s main
main
October 26, 2023 11:48 25s
Remove empty lines from inside equation blocks Deploy static content to Pages #12: Commit 62dfb7d pushed by lukstafi
October 26, 2023 11:25 26s main
main
October 26, 2023 11:25 26s
Inline math html rendering experiment 3 Deploy static content to Pages #11: Commit 9409c48 pushed by lukstafi
October 26, 2023 10:49 23s main
main
October 26, 2023 10:49 23s
Inline math html rendering experiment 2 Deploy static content to Pages #10: Commit e52aa0d pushed by lukstafi
October 26, 2023 10:43 31s main
main
October 26, 2023 10:43 31s
Inline math html rendering experiment 1 Deploy static content to Pages #9: Commit 2fdbe21 pushed by lukstafi
October 26, 2023 10:06 32s main
main
October 26, 2023 10:06 32s
Since we're not using pandoc --katex now Deploy static content to Pages #8: Commit 69ef85c pushed by lukstafi
October 26, 2023 08:44 31s main
main
October 26, 2023 08:44 31s
Try fixing the KaTeX renderingg Deploy static content to Pages #7: Commit 1cc23d9 pushed by lukstafi
October 26, 2023 08:37 22s main
main
October 26, 2023 08:37 22s
Test KaTeX: math is by element class; fix js links Deploy static content to Pages #6: Commit c30b307 pushed by lukstafi
October 26, 2023 08:10 28s main
main
October 26, 2023 08:10 28s
Test KaTeX math rendering Deploy static content to Pages #5: Commit c1c2379 pushed by lukstafi
October 26, 2023 07:55 26s main
main
October 26, 2023 07:55 26s
Sorry, what we actually need: pandoc KaTeX Deploy static content to Pages #4: Commit 5536b8a pushed by lukstafi
October 26, 2023 07:44 25s main
main
October 26, 2023 07:44 25s
Use KaTeX Deploy static content to Pages #3: Commit 4af4d46 pushed by lukstafi
October 26, 2023 07:34 24s main
main
October 26, 2023 07:34 24s
Restructure: site and pdfs dirs; missing imgs Deploy static content to Pages #2: Commit 4fb710d pushed by lukstafi
October 26, 2023 07:22 30s main
main
October 26, 2023 07:22 30s
Create static.yml Deploy static content to Pages #1: Commit 9236231 pushed by lukstafi
October 25, 2023 19:52 18s main
main
October 25, 2023 19:52 18s
pages build and deployment pages-build-deployment #2: by lukstafi
October 25, 2023 17:05 1m 7s
October 25, 2023 17:05 1m 7s