Update GitHub workflow to use jextract-generate

Author: DougGregor

.github/workflows/pull_request.yml

@@ -106,6 +106,6 @@ jobs:
       # run the actual build
       - name: Generate sources (make) (Temporary)
         # TODO: this should be triggered by the respective builds
-        run: "make jextract-run"
+        run: "make jextract-generate"
       - name: Test Swift
         run: "swift test"

Makefile

@@ -134,5 +134,5 @@ jextract-generate: jextract-swift generate-JExtract-interface-files
 		$(BUILD_DIR)/jextract/SwiftKitSwift/SwiftKit.swiftinterface
 
 
-jextract-run: jextract-generate generate-JExtract-interface-files
+jextract-run: jextract-generate
 	./gradlew Samples:SwiftKitSampleApp:run