Switch to main as the development branch

.devcontainer/devcontainer.json

@@ -1,6 +1,6 @@
 {
     "name": "Creusot tutorial",
-    "image": "ghcr.io/creusot-rs/creusot:v0.11.0",
+    "image": "ghcr.io/creusot-rs/creusot:latest",
 
     "containerEnv": {
         "CREUSOT_DATA_HOME": "/"

.github/workflows/ci.yaml

@@ -1,17 +1,14 @@
 name: Build
 
 on:
-  push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
+  push
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 env:
-  CREUSOT_VERSION: v0.11.0
+  CREUSOT_VERSION: master
 
 jobs:
   rust:
@@ -65,4 +62,4 @@ jobs:
         run: cargo update --dry-run
 
       - name: Run Creusot
-        run: cargo creusot prove -- -Fsolutions
+        run: cargo creusot -- -Fsolutions

.github/workflows/nightly.yaml

@@ -1,5 +1,4 @@
 name: Nightly
-# Note: this job only checks out the dev branch! (see `ref: dev`)
 on:
   schedule:
     - cron: '0 2 * * *'
@@ -10,8 +9,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-        with:
-          ref: dev
 
       - uses: ocaml/setup-ocaml@v3
         with:
@@ -44,10 +41,5 @@ jobs:
           cd ../creusot
           ./INSTALL
 
-      - name: Patch Cargo config for nightly
-        run: |
-          mkdir .cargo
-          echo -e '[patch.crates-io]\ncreusot-std = { path = "../creusot/creusot-std" }' > .cargo/config.toml
-
       - name: Run Creusot
         run: cargo creusot -- -Fsolutions

.vscode/settings.json

@@ -14,6 +14,7 @@
             "overrideCommand": [
                 "cargo",
                 "creusot",
+                "--only=coma",
                 "--",
                 "--message-format=json"
             ]