Skip to content

Activity

Showing most recent first

Work towards working <dfn>s and their use

foolippushed 1 commit to bikeshed-experiment • 119d1a9…a2b84bc • 
2 days ago

Quickly hack up the conversion in JS

foolippushed 1 commit to bikeshed-experiment • 99077f5…119d1a9 • 
5 days ago

Add experimental support to build using Bikeshed

foolipcreated bikeshed-experiment • 99077f5 • 
17 days ago

Deleted branch

domenicdeleted rust-warnings • 
on Jul 12, 2024

Remove dead code

Pull request merge
domenicpushed 1 commit to main • 1598f3e…a0a6276 • 
on Jul 12, 2024

Remove dead code

domeniccreated rust-warnings • c7a245b • 
on Jul 12, 2024

Deleted branch

foolipdeleted no-pager • 
on May 2, 2024

Move the --no-pager argument to avoid error

Pull request merge
foolippushed 1 commit to main • 06326f7…1598f3e • 
on May 2, 2024

Merge branch 'main' into no-pager

domenicpushed 2 commits to no-pager • 5714e68…c563f18 • 
on May 2, 2024

Move the --no-pager argument to avoid error

foolipcreated no-pager • 5714e68 • 
on May 2, 2024

Deleted branch

domenicdeleted parsing-errors • 
on Apr 25, 2024

Output parse errors for the Rust part of the build step

Pull request merge
domenicpushed 1 commit to main • 6757955…06326f7 • 
on Apr 25, 2024

Expand tests

domenicpushed 1 commit to parsing-errors • edd0fd3…d8a1f80 • 
on Apr 11, 2024

Fix README documentation of --serve option

Pull request merge
domenicpushed 1 commit to main • 0334e03…6757955 • 
on Feb 29, 2024

Use delegate crate to slightly reduce boilerplate

domenicpushed 1 commit to parsing-errors • 6b334fb…edd0fd3 • 
on Feb 15, 2024

Clippy and format

domenicpushed 1 commit to parsing-errors • 46ae120…6b334fb • 
on Feb 15, 2024

Slightly prettier error printing

domenicpushed 2 commits to parsing-errors • 2b6ba9e…46ae120 • 
on Feb 15, 2024

Hacky WIP on more parse errors

domeniccreated parsing-errors • 2b6ba9e • 
on Feb 9, 2024

Fix duplicate descriptions bug

Pull request merge
domenicpushed 1 commit to main • 7fc3543…0334e03 • 
on Oct 31, 2023

Pass --no-pager to git log command.

Pull request merge
sideshowbarkerpushed 1 commit to main • 9677c21…7fc3543 • 
on Oct 27, 2023

Deleted branch

domenicdeleted more-locals • 
on Oct 27, 2023

Improve bash scripting

Pull request merge
domenicpushed 1 commit to main • b97753a…9677c21 • 
on Oct 27, 2023

Improve bash scripting

Force push
domenicforce pushed to more-locals • 0724253…8b82226 • 
on Oct 26, 2023

Improve bash scripting

Force push
domenicforce pushed to more-locals • 3bba348…0724253 • 
on Oct 26, 2023

Improve bash scripting

Force push
domenicforce pushed to more-locals • d392c3d…3bba348 • 
on Oct 26, 2023

Improve bash

domeniccreated more-locals • d392c3d • 
on Oct 26, 2023

Fix remote Wattsi on certain versions of Bash

domenicpushed 1 commit to main • 8edb2f6…b97753a • 
on Oct 26, 2023

Deleted branch

domenicdeleted rm-perl-scripts • 
on Oct 24, 2023

Remove Perl preprocessing scripts

Pull request merge
domenicpushed 1 commit to main • dbadf8c…8edb2f6 • 
on Oct 24, 2023

Account for missing .pl files

domenicpushed 1 commit to rm-perl-scripts • d1e0527…2e0118e • 
on Oct 24, 2023