Skip to content

Commit dc06c55

Browse files
committed
make sure the ci is good
1 parent 01d286f commit dc06c55

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.github/workflows/esy.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Esy
22
on:
33
push:
4-
branches: [main]
4+
branches: [main, oscar/check-ci]
55
pull_request:
66

77
# This will cancel previous runs when a branch or PR is updated

.github/workflows/opam.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Opam
22
on:
33
push:
4-
branches: [main]
4+
branches: [main, oscar/check-ci]
55
pull_request:
66

77
# This will cancel previous runs when a branch or PR is updated

0 commit comments

Comments
 (0)