Skip to content

Actions: wsollers/lra-common

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Graph Update: pip in /constitution/auditor #1433272604 Dependency Graph #2: by dependabot Bot
43s main
main
43s
Refactor box macros and add model boxes Common sync disabled #19: Commit df79168 pushed by wsollers
14s main
main
14s
Show overfull boxes in volume builds Common sync disabled #18: Commit 4231b83 pushed by wsollers
13s main
main
13s
Add worked example framework Common sync disabled #17: Commit 19e94b5 pushed by wsollers
15s main
main
15s
<describe the environments.tex change> Common sync disabled #16: Commit 5d1629d pushed by wsollers
51s main
main
51s
Update print edition exclusion routing Common sync disabled #15: Commit 14b0025 pushed by wsollers
15s main
main
15s
chore: refresh shared chapter prompts Common sync disabled #14: Commit 1acff71 pushed by wsollers
13s main
main
13s
fix: load breadcrumb macros in volume preamble Common sync disabled #13: Commit a9f0277 pushed by wsollers
12s main
main
12s
chore: snapshot current lra work Common sync disabled #12: Commit 3f956fa pushed by wsollers
12s main
main
12s
Share common math operators Common sync disabled #11: Commit cd82723 pushed by wsollers
12s main
main
12s
Share Lean formalization boxes Common sync disabled #10: Commit a582532 pushed by wsollers
13s main
main
13s
Preserve propositional logic macros in common Common sync disabled #9: Commit fd8bd26 pushed by wsollers
21s main
main
21s
Add semantic formal box wrappers Common sync disabled #8: Commit 78d7f81 pushed by wsollers
12s main
main
12s
Add invisible LaTeX support for Volume V Common sync disabled #7: Commit fbc6fb7 pushed by wsollers
16s main
main
16s
Update common bibliography and proof workflow tooling Common sync disabled #6: Commit 1b5b4a7 pushed by wsollers
14s main
main
14s
Sync common workflow to all volumes Common sync disabled #5: Commit 3c8aa99 pushed by wsollers
19s main
main
19s
feat: add syntactic object presentation standards Common sync disabled #4: Commit d396a6e pushed by wsollers
13s main
main
13s
Add proof vault backlink macro Common sync disabled #3: Commit c1ee573 pushed by wsollers
13s main
main
13s
fix(environments): add dependencies environment for aligned dep lists Common sync disabled #2: Commit c90e426 pushed by wsollers
14s main
main
14s
Graph Update: pip in /constitution/auditor #1386664737 Dependency Graph #1: by dependabot Bot
52s main
main
52s
chore: sync common/ and bibliography/ from Learning-Real-Analysis mon… Common sync disabled #1: Commit c06d89d pushed by wsollers
14s main
main
14s