Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: kammoh/bdw
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: B-Lang-org/bdw
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 8 commits
  • 3 files changed
  • 1 contributor

Commits on Jan 2, 2024

  1. GitHub CI: Update the OS and action versions

    @quark17
    quark17 committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    00aee5a View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. GitHub CI: Use the new download-bsc action

    @quark17
    quark17 committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    5f0fcb0 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. GitHub CI: Update action versions 

    The checkout and cache versions are updated to newer versions (v4)
that use Node 20, because Node 16 is being phased out.
The upload- and download-artifact actions are updated to newer
versions (v4) that have significant performance improvements.
    @quark17
    quark17 committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    03d8d14 View commit details
    Browse the repository at this point in the history

  2. GitHub CI: Turn on fail-fast for macOS and doc matrix jobs

    @quark17
    quark17 committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    0f8ffcb View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. GitHub CI: Update the OS matrix and rename YAML file 

    Add ubuntu-24.04, remove macos-11, and add macos-14.
The Action versions (e.g. checkout@v4) are up to date.
Renamed the CI YAML file to indicate that it is the top-level CI file
(matching the naming structure used in the BSC repo).
    @quark17
    quark17 committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    251170d View commit details
    Browse the repository at this point in the history

  2. GitHub CI: On macOS, install texlive instead of mactex-no-gui 

    This saves disk space and appears to run faster as well.
It works around an issue with GitHub's macos-14 runner image,
that has less free disk space due to more software being installed
in the recent release (see actions/runner-images issue 10511).
    @quark17
    quark17 committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    666b9fa View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2024

  1. GitHub CI: Workaround an issue on GitHub's macos runners

    @quark17
    quark17 committed Nov 2, 2024
    Configuration menu
    Copy the full SHA
    01e1749 View commit details
    Browse the repository at this point in the history

  2. GitHub CI: Remove macos-12, add macos-15

    @quark17
    quark17 committed Nov 2, 2024
    Configuration menu
    Copy the full SHA
    882349b View commit details
    Browse the repository at this point in the history
Loading