]> gitweb.factorcode.org Git - factor.git/history - extra/webapps
Update actions, because Node.js 16 actions are deprecated, to Node.js 20
[factor.git] / extra / webapps /
2 hours ago nomennescioReformat clean-linux-x86-32 clean-macosx-x86-64
10 hours ago nomennescioFix truncated results for DURATION_NANOSECONDS
12 hours ago nomennescioRemove filtering on timestamps and use short ISO8601...
12 hours ago nomennescioShow benchmark results in CSV format at /benchmark...
19 hours ago nomennescioReformat
19 hours ago nomennescioStandardize on nanoseconds for accuracy and to avoid...
19 hours ago nomennescioKeep track of benchmarks separately from the report
19 hours ago nomennescioReformat
19 hours ago nomennescioStores results of succesful build as a run, and for...
19 hours ago nomennescioExpand SQL Database with tables RUNS and BENCHMARKS...
2024-02-12 John BenediktssonRevert "webapps.planet: css for hr"
2024-02-12 John Benediktssonwebapps.planet: css for hr
2023-12-06 razetimewebapps.pastebin: make "text" first option
2023-09-02 John Benediktssonwebapps.planet: constrain images to the page
2023-08-28 John Benediktssonwebapps.mason.docs-update: use simpler words
2023-08-22 nomennescioMerge pull request #2591 from nomennescio/feature-vm...
2023-08-22 John Benediktssonwebapps.mason.grid: column widths
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-08-21 John Benediktssonwebapps.mason.utils: update requirements
2023-08-18 John Benediktssonmason.twitter: deleted since it stopped working
2023-03-15 Raghu RMerge pull request #2774 from factor/w4-warnings
2023-03-15 Raghu Rvm: nmakefile \W4 warning related changes
2023-03-08 John BenediktssonRevert "webapps.mason: make docs/dev"
2023-03-08 John BenediktssonRevert "webapps.mason: different approach"
2023-03-08 John Benediktssonwebapps.mason: different approach
2023-03-08 John Benediktssonwebapps.mason: make docs/dev
2023-02-26 Doug Colemansequences: remove ??if
2023-02-26 Doug Colemanfactor: use ??if instead of ?if-old
2023-02-16 John Benediktssonwebapps.mason: more padding
2023-02-08 GiftpflanzeRename and add sorting words
2023-02-02 John Benediktssonhelp.html: a bit more padding
2023-02-02 John Benediktssonwebapps: tweak styles
2023-02-02 John Benediktssonwebapps: tweak monospace padding
2023-01-29 John Benediktssonwebapps.wiki: remove unnecessary font-size change in...
2023-01-28 John Benediktssonwebapps.mason: add some padding
2023-01-26 John Benediktssonwebapps.help: fix tabs on dark mode
2023-01-26 John Benediktssonwebapps.help: fix label width a different way
2023-01-26 John Benediktssonwebapps.planet: less blockquote margins on mobile
2023-01-26 John Benediktssonwebapps.help: tabs on mobile are better
2023-01-20 John BenediktssonSwitch to https urls
2023-01-12 Doug Colemanfactor: fix some spacing
2022-09-25 John Benediktssonhelp.html: only input.focus().
2022-09-25 John Benediktssonhelp.html: add null check
2022-09-25 John Benediktssonhelp.html: prevent firefox quick find using '/' key
2022-09-25 John Benediktssonhelp.html: implement "/" for making search box active.
2022-08-26 John Benediktssonwebapps.help: whoops, fix using
2022-08-26 John Benediktssonwebapps.help: tokenize and collapse search terms
2022-08-21 John Benediktssonwebapps.pastebin: better dark mode
2022-08-21 John Benediktssonwebapps: better style
2022-08-10 John Benediktssonwebapps.wiki: only top/bottom margin to zero
2022-08-10 John Benediktssonwebapps.wiki: form margin zero.
2022-08-10 John Benediktssonwebapps.wiki: adding search bar
2022-08-07 John Benediktssonwebapps.wiki: bigger text area
2022-08-07 John Benediktssonwebapps.wiki: simplify and fix table layouts
2022-08-07 John Benediktssonwebapps.wiki: fix img
2022-08-07 John Benediktssonwebapps.wiki: padding on footer
2022-08-07 John Benediktssonwebapps.wiki: more style
2022-08-07 John Benediktssonwebapps.wiki: more style
2022-08-07 John Benediktssonwebapps: padding
2022-08-07 John Benediktssonwebapps.wiki: padding-left nav
2022-08-07 John Benediktssonwebapps.wiki: adding wiki.js
2022-08-07 John Benediktssonwebapps: simplify navrow.
2022-08-06 John Benediktssonwebapps.wiki: style fixes
2022-08-06 John Benediktssonwebapps.wiki: forgot width change
2022-08-06 John Benediktssonwebapps.wiki: more css cleanup
2022-08-06 John Benediktssonwebapps.wiki: fix old navbar style
2022-08-06 John Benediktssonwebapps.wiki: better data uri
2022-08-06 John Benediktssonwebapps: embed hamburger in data uri
2022-08-05 John Benediktssonwebapps: using nav html element, cleanup
2022-07-31 Doug Colemansequences: bound -> index-or-length
2022-07-31 Doug Colemancore: cramp -> bound (was short)
2022-07-31 Doug Colemanfactor: alien.c-types:short -> cramp
2022-07-27 John Benediktssonwebapps.pastebin: nicer forms
2022-06-28 John Benediktssonwebapps.pastebin: better colors
2022-06-19 Doug ColemanMerge remote-tracking branch 'origin/html5-force-push'
2022-06-19 Doug ColemanMerge branch 'arm64-bootstrap2'
2022-06-19 John Benediktssonwebapps.help: css...
2022-06-19 John Benediktssonwebapps.help: more css
2022-06-19 John Benediktssonwebapps.help: more borders
2022-06-19 John Benediktssonwebapps.help: remove double border.
2022-06-19 John Benediktssonwebapps.help: forgot one
2022-06-19 John Benediktssonwebapps.help: more better dark css.
2022-06-19 John Benediktssonwebapps.help: update css for dark mode
2022-06-19 John Benediktssonwebapps.help: fix using, strip qualified prefix
2022-06-19 John Benediktssonwebapps.help: show vocabulary in word title.
2022-06-18 John BenediktssonRevert "Revert "use tilde paths in more places.""
2022-06-18 John BenediktssonRevert "use tilde paths in more places."
2022-06-17 John Benediktssonuse tilde paths in more places.
2022-05-19 John Benediktssonwebapps.pastebin: update css
2022-05-19 John Benediktssonwebapps.pastebin: better dark mode
2022-05-17 John Benediktssonwebapps.wiki: fix pre dark mode
2022-05-17 John Benediktssonwebapps.planet: dark mode
2022-05-17 John Benediktssonwebapps.wiki: dark mode
2022-05-11 John Benediktssonwebapps.wiki: fix positioning of nav.
2022-05-10 John Benediktssonwebapps.wiki: smaller hamburger menu.
2022-02-11 John Benediktssonwebapps.help: onload javascript to check radio
2022-01-24 John Benediktssonwebapps.mason: rename CRASHED to OFFLINE
2022-01-21 John Benediktssonbuild: update to https for downloads.factorcode.org
2022-01-20 John Benediktssonwebapps.help: set search and empty when not provided
2022-01-20 John Benediktssonwebapps.search: adding a header to the search page
next