Merge branch 'main' into rti-DNET

lf-lang · Jan 23, 2025 · 77ed6d1 · 77ed6d1
2 parents df786d3 + df18e02
commit 77ed6d1
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/build-rti.yml b/.github/workflows/build-rti.yml
@@ -7,7 +7,7 @@ jobs:
   native-build:
     strategy:
       matrix:
-        platform: [ubuntu-latest, macos-latest, windows-latest]
+        platform: [ubuntu-24.04, macos-latest, windows-latest]
     runs-on: ${{ matrix.platform }}
 
     steps:
@@ -19,7 +19,7 @@ jobs:
         run: .github/scripts/build-rti.sh -DAUTH=ON
 
   docker-build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: Check out reactor-c repository
         uses: actions/checkout@v4

diff --git a/.github/workflows/build-trace-tools.yml b/.github/workflows/build-trace-tools.yml
@@ -7,7 +7,7 @@ jobs:
   run:
     strategy:
       matrix:
-        platform: [ubuntu-latest, macos-latest, windows-latest]
+        platform: [ubuntu-24.04, macos-latest, windows-latest]
     runs-on: ${{ matrix.platform }}
 
     steps:

diff --git a/.github/workflows/unit-tests.yml b/.github/workflows/unit-tests.yml
@@ -11,7 +11,7 @@ jobs:
   run:
     strategy:
       matrix:
-        platform: [ubuntu-latest, macos-latest]
+        platform: [ubuntu-24.04, macos-latest]
     runs-on: ${{ matrix.platform }}
 
     steps:

diff --git a/lingua-franca-ref.txt b/lingua-franca-ref.txt
@@ -1 +1 @@
-rti-DNET
+rti-DNET