generated from tweag/project
-
Notifications
You must be signed in to change notification settings - Fork 30
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trigger CI on PR, as well as push (#797)
* Trigger CI on PR, as well as push * Update benchmark to use new tree-sitter-ocaml API * WASM: Fix usize/u32 discrepancy * WASM: Don't import unnecessary modules * WASM: Don't impl NodeExt for tree_sitter::Node * Appease Clippy :P * Comment unwrap of u32 to usize * Trigger CI on PRs against main and pushes to main * Allow dead code, rather than conditional compile, for imports * Attempt 2 of ...: Allow dead code for the module, in WASM builds * Attempt 3 of ...: Allow unused imports for the module, in WASM builds
- Loading branch information
1 parent
7bda48e
commit 932cb22
Showing
6 changed files
with
23 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,8 @@ | ||
on: push | ||
on: | ||
push: | ||
branches: main | ||
pull_request: | ||
branches: main | ||
|
||
jobs: | ||
build: | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters