Fix CI by downgrading from ubuntu-latest

.github/workflows/doxygen-check.yaml

@@ -8,7 +8,7 @@ jobs:
   check-doxygen:
     # Note that the versions used for this `check-doxygen` job should be kept in
     # sync with the `publish` job.
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v7
     - name: Fetch dependencies

.github/workflows/publish.yaml

@@ -6,7 +6,7 @@ jobs:
   publish:
     # Note that the versions used for this `publish` job should be kept in sync
     # with the `check-doxygen` job.
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout repository
         uses: actions/checkout@v7

.github/workflows/syntax-checks.yaml

@@ -6,7 +6,7 @@ on:
 jobs:
   # This job takes approximately 1 minute
   check-clang-format:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v7
         with:

src/analyses/reaching_definitions.h

@@ -30,9 +30,7 @@ Date: February 2013
 #include "ai.h"
 #include "goto_rw.h"
 
-class value_setst;
-class is_threadedt;
-class dirtyt;
+class dirtyt; // IWYU pragma: keep
 class reaching_definitions_analysist;
 
 /// An instance of this class provides an assignment of unique numeric `ID` to

src/analyses/variable-sensitivity/full_array_abstract_object.h

@@ -18,8 +18,6 @@
 
 #include <iosfwd>
 
-class ai_baset;
-
 class full_array_abstract_objectt : public abstract_aggregate_objectt<
                                       full_array_abstract_objectt,
                                       array_aggregate_typet>

src/analyses/variable-sensitivity/liveness_context.h

@@ -16,8 +16,8 @@
 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_LIVENESS_CONTEXT_H
 
 #include <analyses/variable-sensitivity/write_location_context.h>
+
 #include <iostream>
-#include <stack>
 
 /**
  * General implementation of an abstract_objectt which tracks the

src/analyses/variable-sensitivity/write_location_context.h

@@ -17,8 +17,8 @@
 #define CPROVER_ANALYSES_VARIABLE_SENSITIVITY_WRITE_LOCATION_CONTEXT_H
 
 #include <analyses/variable-sensitivity/context_abstract_object.h>
+
 #include <iostream>
-#include <stack>
 
 /**
  * General implementation of an abstract_objectt which tracks the

src/pointer-analysis/goto_program_dereference.h

@@ -21,7 +21,6 @@ class goto_modelt;
 class namespacet;
 class optionst;
 class symbol_table_baset;
-class symbolt;
 class value_setst;
 
 /// Wrapper for functions removing dereferences in expressions contained in