Skip to content

Commit

Permalink
ci: remove drop.v from the blacklist
Browse files Browse the repository at this point in the history
  • Loading branch information
@clarus
clarus committed Jan 12, 2024
1 parent cf7d525 commit d4cf70a
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions CoqOfRust/blacklist.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,6 @@ examples/axiomatized/examples/std_misc/foreign_function_interface.v
examples/axiomatized/examples/subtle.v
examples/axiomatized/examples/test0.v
examples/axiomatized/examples/traits/disambiguating_overlapping_traits.v
examples/axiomatized/examples/traits/drop.v
examples/axiomatized/examples/traits/hash.v
examples/axiomatized/examples/traits/impl_trait_as_return_type.v
examples/axiomatized/examples/traits/iterators.v
Expand Down Expand Up @@ -164,7 +163,6 @@ examples/default/examples/subtle.v
examples/default/examples/test0.v
examples/default/examples/traits/clone.v
examples/default/examples/traits/derive.v
examples/default/examples/traits/drop.v
examples/default/examples/traits/hash.v
examples/default/examples/traits/impl_trait_as_return_type.v
examples/default/examples/traits/iterators.v
Expand Down

0 comments on commit d4cf70a

Please sign in to comment.