Skip to content

Commit ceaba89

Browse files
samuelburnhamsamuelburnham
committed
Test CI
1 parent 1e3c987 commit ceaba89

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎.github/workflows/ci.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ name: CI Tests
22

33
on:
44
push:
5-
branches: main
5+
branches: [main, 61-lean4-nix]
66
pull_request:
77
workflow_dispatch:
88

0 commit comments

Comments
 (0)