Add Sys.is_directory, Sys.remove and Sys.rename

.github/workflows/mingw-500-bytecode.yml

@@ -1,9 +1,10 @@
 name: MinGW bytecode 5.0.0
 
 on:
-  schedule:
-    # Every Sunday morning, at 1:11 UTC
-    - cron: '11 1 * * 0'
+  pull_request:
+  push:
+    branches:
+      - main
   workflow_dispatch:
 
 jobs:

.github/workflows/mingw-500.yml

@@ -1,9 +1,10 @@
 name: MinGW 5.0.0
 
 on:
-  schedule:
-    # Every Sunday morning, at 1:11 UTC
-    - cron: '11 1 * * 0'
+  pull_request:
+  push:
+    branches:
+      - main
   workflow_dispatch:
 
 jobs:

.github/workflows/mingw-51x-bytecode.yml

@@ -1,9 +1,10 @@
 name: MinGW bytecode 5.1
 
 on:
-  schedule:
-    # Every Sunday morning, at 2:22 UTC
-    - cron: '22 2 * * 0'
+  pull_request:
+  push:
+    branches:
+      - main
   workflow_dispatch:
 
 jobs:

.github/workflows/mingw-51x.yml

@@ -1,9 +1,10 @@
 name: MinGW 5.1
 
 on:
-  schedule:
-    # Every Sunday morning, at 2:22 UTC
-    - cron: '22 2 * * 0'
+  pull_request:
+  push:
+    branches:
+      - main
   workflow_dispatch:
 
 jobs:

dune

@@ -24,8 +24,8 @@
  (name ci)
  (package multicoretests)
  (deps
-  (alias_rec %{env:DUNE_CI_ALIAS=runtest})))
-  ; (alias_rec focusedtest)))
+  ;(alias_rec %{env:DUNE_CI_ALIAS=runtest})
+  (alias_rec focusedtest)))
 
 ; @focusedtest
 ; repeat a single test a couple of times
@@ -36,7 +36,7 @@
 
 ; To change the test to repeat, change the source of the `copy`:
 (rule
- (copy src/io/lin_tests_domain.exe focusedtest.exe))
+ (copy src/sys/stm_tests.exe focusedtest.exe))
 
 (rule
  (alias focusedtest)
@@ -49,7 +49,7 @@
     (write-file hoped "")
     (write-file failed-runs "")
     (bash
-     "for i in `seq 20`; do echo Starting $i-th run; if ! ./focusedtest.exe -v ; then echo $i >> failed-runs; fi; done")
+     "for i in `seq 10`; do echo Starting $i-th run; if ! ./focusedtest.exe -v ; then echo $i >> failed-runs; fi; done")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))
 
@@ -64,6 +64,6 @@
     (write-file hoped "")
     (write-file failed-runs "")
     (run cmd /q /c
-     "for %G in (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
+     "for %G in (1,2,3,4,5,6,7,8,9,10) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))