ci: clean blacklist for axiom mode files

Author: clarus

CoqOfRust/blacklist.txt

@@ -143,74 +143,30 @@ examples/unsafe_operations/inline_assembly_symbol_operands_and_abi_clobbers.v
 examples/unsafe_operations/inline_assembly.v
 examples/unsafe_operations/raw_pointers.v
 examples/variable_bindings/declare_first.v
-examples_axiomatized/conversion/from.v
-examples_axiomatized/conversion/into.v
-examples_axiomatized/conversion/try_from_and_try_into.v
-examples_axiomatized/conversion/try_from_and_try_into.v
 examples_axiomatized/custom_types/enums_testcase_linked_list.v
-examples_axiomatized/custom_types/structures.v
 examples_axiomatized/error_handling/boxing_errors.v
-examples_axiomatized/error_handling/early_returns.v
-examples_axiomatized/error_handling/introducing_question_mark_is_an_replacement_for_deprecated_try.v
-examples_axiomatized/error_handling/introducing_question_mark.v
-examples_axiomatized/error_handling/map_in_result_via_combinators.v
-examples_axiomatized/error_handling/map_in_result_via_match.v
-examples_axiomatized/error_handling/multiple_error_types.v
 examples_axiomatized/error_handling/other_uses_of_question_mark.v
-examples_axiomatized/error_handling/pulling_results_out_of_options_with_stop_error_processing.v
-examples_axiomatized/error_handling/pulling_results_out_of_options.v
-examples_axiomatized/error_handling/result_use_in_main.v
 examples_axiomatized/error_handling/unpacking_options_via_question_mark.v
 examples_axiomatized/error_handling/wrapping_errors.v
 examples_axiomatized/functions/functions_closures_as_input_parameters.v
 examples_axiomatized/functions/functions_closures_as_output_parameters.v
 examples_axiomatized/functions/functions_closures_input_functions.v
 examples_axiomatized/functions/functions_closures_type_anonymity_define_and_use.v
-examples_axiomatized/functions/functions_closures_type_anonymity_define.v
-examples_axiomatized/generics/generics_associated_types_problem.v
-examples_axiomatized/generics/generics_associated_types_problem.v
-examples_axiomatized/generics/generics_associated_types_solution.v
-examples_axiomatized/generics/generics_associated_types_solution.v
-examples_axiomatized/generics/generics_bounds_test_case_empty_bounds.v
 examples_axiomatized/generics/generics_bounds.v
-examples_axiomatized/generics/generics_functions.v
-examples_axiomatized/generics/generics_functions.v
 examples_axiomatized/generics/generics_implementation.v
-examples_axiomatized/generics/generics_multiple_bounds.v
-examples_axiomatized/generics/generics_phantom_type_test_case_unit_clarification.v
-examples_axiomatized/generics/generics_phantom_type.v
-examples_axiomatized/generics/generics.v
-examples_axiomatized/generics/generics.v
 examples_axiomatized/modules/struct_visibility.v
-examples_axiomatized/modules/super_and_self.v
-examples_axiomatized/modules/the_use_as_declaration.v
 examples_axiomatized/modules/visibility.v
-examples_axiomatized/primitives/arrays_and_slices.v
-examples_axiomatized/scoping_rules/scoping_rules_borrowing_mutablity.v
-examples_axiomatized/scoping_rules/scoping_rules_borrowing_the_ref_pattern.v
-examples_axiomatized/scoping_rules/scoping_rules_lifetimes_bounds.v
-examples_axiomatized/scoping_rules/scoping_rules_lifetimes_structs.v
-examples_axiomatized/scoping_rules/scoping_rules_lifetimes_traits.v
 examples_axiomatized/scoping_rules/scoping_rules_ownership_and_rules_partial_moves.v
 examples_axiomatized/scoping_rules/scoping_rules_raii_desctructor.v
-examples_axiomatized/std_library_types/box_stack_heap.v
-examples_axiomatized/std_library_types/hash_map_alternate_or_custom_key_types.v
 examples_axiomatized/std_misc/file_io_read_lines_efficient_method.v
 examples_axiomatized/std_misc/file_io_read_lines.v
 examples_axiomatized/std_misc/filesystem_operations.v
 examples_axiomatized/std_misc/foreign_function_interface.v
 examples_axiomatized/subtle.v
-examples_axiomatized/subtle.v
-examples_axiomatized/traits/clone.v
-examples_axiomatized/traits/derive.v
-examples_axiomatized/traits/derive.v
 examples_axiomatized/traits/drop.v
-examples_axiomatized/traits/hash.v
 examples_axiomatized/traits/impl_trait_as_return_type.v
 examples_axiomatized/traits/iterators.v
 examples_axiomatized/traits/returning_traits_with_dyn.v
-examples_axiomatized/traits/returning_traits_with_dyn.v
-examples_axiomatized/traits/returning_traits_with_dyn.v
 examples_axiomatized/traits/supertraits.v
 ink/erc20.v
 _std/iter_type.v