ocaml-dune/binary-distribution issues and pull requests

#97 - fix: add links and clean typos

Pull Request - State: open - Opened by maiste about 1 month ago
Labels: web

#96 - Minor typo fix

Pull Request - State: closed - Opened by kayceesrk about 1 month ago - 1 comment

#95 - fix: check_build action

Pull Request - State: open - Opened by maiste about 1 month ago
Labels: bug, pipeline

#94 - Prettyprint `metadata.json`

Issue - State: open - Opened by Leonidas-from-XIV about 1 month ago

#93 - Minor opam metadata fixes

Pull Request - State: closed - Opened by Leonidas-from-XIV about 1 month ago

#92 - Add links to the package management documentation

Pull Request - State: closed - Opened by Leonidas-from-XIV about 1 month ago
Labels: web

#91 - chore: update authors and maintainers

Pull Request - State: closed - Opened by maiste about 1 month ago
Labels: docs

#90 - feat: error handling

Pull Request - State: open - Opened by maiste about 1 month ago
Labels: bug, web

#89 - feat: use latest to redirect to correct URL

Pull Request - State: closed - Opened by maiste about 1 month ago
Labels: enhancement, web, script

#88 - feat: website mobile version

Pull Request - State: closed - Opened by maiste about 1 month ago
Labels: enhancement, web

#87 - Wrong URLs do not return 404

Issue - State: open - Opened by maiste about 1 month ago
Labels: bug

#86 - Fix typo

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago

#85 - Installing developer preview didn't set up PATH correctly on zsh

Issue - State: open - Opened by maiste about 2 months ago - 5 comments
Labels: brainstorm, script

#84 - feat: return latest url

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: enhancement, web, script

#83 - fix: push the script to the root location

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: bug, pipeline, script

#82 - Improve the wording

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago
Labels: web

#81 - Use posix args to `date` in github action

Pull Request - State: closed - Opened by gridbugs about 2 months ago

#80 - Use cmdliner to enforce required argument

Pull Request - State: closed - Opened by gridbugs about 2 months ago

#79 - Add minimal shell.nix

Pull Request - State: closed - Opened by gridbugs about 2 months ago

#78 - Store the current date in a text file

Pull Request - State: closed - Opened by gridbugs about 2 months ago - 1 comment
Labels: bug, DO-NOT-MERGE

#77 - feat: complete the design for desktop version

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: enhancement, web

#76 - Avoid unnecessary builds if no changes happened since last run

Pull Request - State: closed - Opened by ElectreAAS about 2 months ago - 5 comments

#75 - fix: don't try to push index.html

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: bug, pipeline

#74 - FAQ "What is Dune Developer Preview?"

Pull Request - State: closed - Opened by tmattio about 2 months ago - 1 comment
Labels: enhancement, DO-NOT-MERGE, web

#73 - Add favicon

Pull Request - State: closed - Opened by gridbugs about 2 months ago - 1 comment
Labels: enhancement, web

#72 - On preview.dune.build the web developer console displayes various warnings

Issue - State: closed - Opened by gridbugs about 2 months ago - 3 comments

#71 - Readable colours on dark terminals

Pull Request - State: closed - Opened by gridbugs about 2 months ago
Labels: bug, script

#70 - Fix test for unset variable

Pull Request - State: closed - Opened by gridbugs about 2 months ago
Labels: bug, script

#69 - Downloading the developer preview is slow

Issue - State: open - Opened by gridbugs about 2 months ago - 3 comments

#68 - Don't update the shell rc if it's already been updated by a previous installation (and add completion scripts)

Pull Request - State: open - Opened by gridbugs about 2 months ago - 6 comments
Labels: bug, enhancement, script

#67 - Make the install script POSIX compatible

Pull Request - State: closed - Opened by ElectreAAS about 2 months ago - 2 comments
Labels: enhancement, script

#66 - feat: deploy using dream and optimal tailwind

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: enhancement, web, pipeline

#65 - Ensure tmp dir is deleted on exit

Pull Request - State: closed - Opened by gridbugs about 2 months ago

#64 - Distribute bash completion script

Pull Request - State: closed - Opened by gridbugs about 2 months ago - 1 comment

#63 - chore: flatten code structure

Pull Request - State: closed - Opened by maiste about 2 months ago - 1 comment
Labels: enhancement, pipeline

#62 - Apply some shellcheck improvements

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago
Labels: enhancement

#61 - feat: implement the new design

Pull Request - State: closed - Opened by maiste about 2 months ago - 2 comments
Labels: DO-NOT-MERGE, web

#60 - feat: support native tailwind

Pull Request - State: closed - Opened by maiste about 2 months ago - 1 comment
Labels: enhancement, web, pipeline

#59 - `dune.ci.dev` -> `preview.dune.build`

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago
Labels: bug, web

#58 - fix: restore to valid mlx

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: bug, web

#57 - More secure curl options

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago
Labels: web

#56 - Add a guard against accidental partial script execution

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago

#55 - feat: point people to the stable install on ocaml.org

Pull Request - State: closed - Opened by leostera about 2 months ago

#54 - fix: legacy install support

Pull Request - State: closed - Opened by maiste about 2 months ago

#53 - feat: add warning message for development time

Pull Request - State: closed - Opened by maiste about 2 months ago

#52 - fix: bot notify on branch main failure

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: bug, enhancement

#51 - Add a test mechanism to check preview

Issue - State: open - Opened by maiste about 2 months ago

#50 - Fix some wording

Pull Request - State: closed - Opened by Leonidas-from-XIV about 2 months ago - 1 comment
Labels: bug, web

#49 - feat: support new dune.build URLs

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: enhancement, web, pipeline

#48 - feat: build and use tarballs on install

Pull Request - State: closed - Opened by maiste about 2 months ago
Labels: enhancement, pipeline

#47 - Remove executable from being uploaded

Issue - State: open - Opened by maiste about 2 months ago

#46 - feat: introduce Dockerfile

Pull Request - State: closed - Opened by maiste 2 months ago

#45 - Don't rebuild the same HEAD multiple days running

Issue - State: closed - Opened by dra27 2 months ago - 3 comments
Labels: enhancement

#44 - feat: add editor setup section

Pull Request - State: open - Opened by leostera 2 months ago
Labels: web

#43 - feat: add feedback section and instructions for source builds

Pull Request - State: closed - Opened by leostera 2 months ago

#42 - feat: use Dune Package Management

Pull Request - State: open - Opened by maiste 2 months ago - 1 comment
Labels: enhancement, pipeline

#41 - Use Parcel or Vite to bundle the HTML file

Issue - State: closed - Opened by maiste 2 months ago - 1 comment
Labels: enhancement

#40 - Prompt for updating the PATH

Issue - State: open - Opened by maiste 2 months ago - 1 comment
Labels: bug

#39 - fix: remove old flag

Pull Request - State: closed - Opened by maiste 2 months ago

#38 - Release a tarball artifact

Pull Request - State: closed - Opened by gridbugs 2 months ago - 6 comments

#37 - New landing page

Pull Request - State: closed - Opened by leostera 2 months ago - 5 comments

#36 - fix: no error on empty commit

Pull Request - State: closed - Opened by maiste 2 months ago
Labels: bug

#35 - feat: add small note about package management

Pull Request - State: closed - Opened by maiste 2 months ago
Labels: enhancement

#34 - fix: error message from bot

Pull Request - State: closed - Opened by maiste 2 months ago
Labels: bug

#33 - fix: remove the last patch

Pull Request - State: closed - Opened by maiste 2 months ago
Labels: enhancement

#32 - feat: post message on Slack

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: enhancement

#31 - fix: sync with upstream dune

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: bug

#30 - fix: get back to needs

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: bug

#29 - fix: use the correct GH path for commits

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: bug

#28 - fix: do not forget to remove patch in CI

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: bug

#27 - chore(nix): remove nix patch

Pull Request - State: closed - Opened by maiste 3 months ago

#26 - fix: remove configure flags from version

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: bug

#25 - Add space before certificate link

Pull Request - State: closed - Opened by gridbugs 3 months ago

#24 - refactor: clean the content and update cmdline

Pull Request - State: closed - Opened by maiste 3 months ago

#23 - chore: update patch

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: enhancement

#23 - chore: update patch

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: enhancement

#22 - test: check binaries are correct before pushing

Pull Request - State: closed - Opened by maiste 3 months ago

#22 - test: check binaries are correct before pushing

Pull Request - State: closed - Opened by maiste 3 months ago

#21 - test: create a test directory for dune binaries

Pull Request - State: closed - Opened by maiste 3 months ago

#20 - Fix git info formatting

Pull Request - State: closed - Opened by gridbugs 3 months ago

#19 - Try to fix issue applying patch

Pull Request - State: closed - Opened by gridbugs 3 months ago

#18 - Fix issue where both flake and action try to set version

Pull Request - State: closed - Opened by gridbugs 3 months ago

#17 - Diagnostic version number

Pull Request - State: closed - Opened by gridbugs 3 months ago

#16 - Add more documentation about the internal behaviour

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: docs

#15 - feat(patch): use the autolocking patch for interviews

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: hack

#14 - fix: use the correct artifact name

Pull Request - State: closed - Opened by maiste 3 months ago

#13 - Fix patch format

Pull Request - State: closed - Opened by gridbugs 3 months ago

#12 - Fix experimental build on macos

Pull Request - State: closed - Opened by gridbugs 3 months ago

#11 - Project is slow to clone because it contains checked-in dune binaries

Issue - State: closed - Opened by gridbugs 3 months ago - 2 comments

#10 - fix: temporary add a patch on dune for building the correct targets

Pull Request - State: closed - Opened by maiste 3 months ago

#9 - feat: reduce binary size with strip

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: enhancement

#8 - fix: typo in the web page

Pull Request - State: closed - Opened by maiste 3 months ago

#7 - feat: ensure unicity of each bundle

Pull Request - State: closed - Opened by maiste 3 months ago

#6 - chore: add license according to offline discussion

Pull Request - State: closed - Opened by maiste 3 months ago

#5 - feat: support latest binary downloading

Pull Request - State: closed - Opened by maiste 3 months ago - 5 comments
Labels: enhancement

#4 - feat: certify the builds

Pull Request - State: closed - Opened by maiste 3 months ago
Labels: enhancement

#3 - docs: change README to explain the situation

Pull Request - State: closed - Opened by maiste 4 months ago - 1 comment
Labels: docs

#2 - chore(CI): distribute nightly build of `dune` toolchain branch

Pull Request - State: closed - Opened by maiste 5 months ago - 4 comments

GitHub / ocaml-dune/binary-distribution issues and pull requests