Skip to content

Actions: Singularitty/proof-writer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Mention the Recompile button in the guide Deploy to GitHub Pages #30: Commit 2e03a01 pushed by Singularitty
50s main
main
50s
Add a Recompile button; draw another document from scratch Deploy to GitHub Pages #29: Commit 54a552c pushed by Singularitty
44s main
main
44s
Save to a file on disk from the browser Deploy to GitHub Pages #28: Commit 65e6058 pushed by Singularitty
1m 20s main
main
1m 20s
Restart the Typst compiler after it crashes Deploy to GitHub Pages #27: Commit 31e4663 pushed by Singularitty
50s main
main
50s
Rewrite the README around what the tool does; add a license Deploy to GitHub Pages #26: Commit 8a5af53 pushed by Singularitty
1m 13s main
main
1m 13s
Fix symbols missing from the preview; keep the rule form in its block Deploy to GitHub Pages #25: Commit 4f75c01 pushed by Singularitty
43s main
main
43s
Reorder the premises of a rule Deploy to GitHub Pages #24: Commit 9f11978 pushed by Singularitty
52s main
main
52s
Reorder blocks by dragging Deploy to GitHub Pages #23: Commit c690116 pushed by Singularitty
56s main
main
56s
Update the preview in place instead of redrawing it Deploy to GitHub Pages #22: Commit 2e0054c pushed by Singularitty
1m 0s main
main
1m 0s
Redraw only the pages an edit changed in the preview Deploy to GitHub Pages #21: Commit 8ca927c pushed by Singularitty
1m 1s main
main
1m 1s
Add a Definition block that has no proof and can hold content Deploy to GitHub Pages #20: Commit d0a3404 pushed by Singularitty
51s main
main
51s
Offer Section, Subsection and Sub-subsection in the insert menu Deploy to GitHub Pages #19: Commit 5099094 pushed by Singularitty
51s main
main
51s
Warn about snippet misuse; close menus with Escape Deploy to GitHub Pages #18: Commit 7c85172 pushed by Singularitty
54s main
main
54s
Show a block in the PDF preview Deploy to GitHub Pages #17: Commit 2579e05 pushed by Singularitty
1m 15s main
main
1m 15s
Fix problems found by click-through testing Deploy to GitHub Pages #16: Commit 5b248a3 pushed by Singularitty
59s main
main
59s
Keep displayed rules inside their block in the editor Deploy to GitHub Pages #15: Commit 3feafd0 pushed by Singularitty
54s main
main
54s
Click the PDF preview to go to the block that produced it Deploy to GitHub Pages #14: Commit 3e5bc3c pushed by Singularitty
1m 26s main
main
1m 26s
Give rules more room around the inference line Deploy to GitHub Pages #13: Commit 625d710 pushed by Singularitty
47s main
main
47s
Set scripts on relations beside them in the Typst export Deploy to GitHub Pages #12: Commit bde2fca pushed by Singularitty
57s main
main
57s
Show page breaks in the PDF preview Deploy to GitHub Pages #11: Commit bed4259 pushed by Singularitty
1m 4s main
main
1m 4s
Add the proof-tracker Claude Code plugin and document the checks Deploy to GitHub Pages #10: Commit 7cd9f44 pushed by Singularitty
1m 15s main
main
1m 15s
Show the insert-block button only on hover or keyboard focus again Deploy to GitHub Pages #9: Commit b5a2310 pushed by Singularitty
1m 51s main
main
1m 51s
Document library actions and GitHub open/commit Deploy to GitHub Pages #8: Commit 798c1d1 pushed by Singularitty
43s main
main
43s
Document Typst import in the README Deploy to GitHub Pages #7: Commit 829e633 pushed by Singularitty
1m 3s main
main
1m 3s
Import Typst documents; wrap wide rule premises Deploy to GitHub Pages #6: Commit b2da16a pushed by Singularitty
26s main
main
26s