update workshop-ci

- drop old fedora userenvs tied to a name

- create a new fedora-ci userenv that can be updated without renaming
  it

- add update-policy option testing

.github/workflows/workshop-ci.yaml

@@ -41,8 +41,10 @@ jobs:
       run: |
         export TOOLBOX_HOME=~/toolbox
         echo
-        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci-dump-config --userenv ./userenvs/fedora36-ci.json --dump-config true
+        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci-dump-config --userenv ./userenvs/fedora-ci.json --dump-config true
         echo
-        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci-dump-files --userenv ./userenvs/fedora36-ci.json --dump-files true
+        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci-dump-config --userenv ./userenvs/fedora-ci.json --dump-config true --force-update-policy missing
         echo
-        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci --userenv ./userenvs/fedora36-ci.json --log-level verbose
+        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci-dump-files --userenv ./userenvs/fedora-ci.json --dump-files true
+        echo
+        sudo --preserve-env=TOOLBOX_HOME ./workshop.pl --label workshop-ci --userenv ./userenvs/fedora-ci.json --log-level verbose

userenvs/fedora36-ci.json → userenvs/fedora-ci.json

@@ -1,15 +1,16 @@
 {
     "workshop": {
 	"schema": {
-	    "version": "2023.02.16"
+	    "version": "2024.08.07"
 	}
     },
     "userenv": {
-	"name": "fedora36",
-	"label": "Fedora 36",
+	"name": "fedora40",
+	"label": "Fedora 40",
 	"origin": {
 	    "image": "docker.io/library/fedora",
-	    "tag": "36"
+	    "tag": "40",
+	    "update-policy": "digest"
 	},
 	"properties": {
 	    "platform": [
@@ -28,11 +29,11 @@
     },
     "requirements": [
 	{
-	    "name": "python39",
+	    "name": "python3",
 	    "type": "distro",
 	    "distro_info": {
 		"packages": [
-		    "python39"
+		    "python3"
 		]
 	    }
 	},