Mesh adaptation is currently under development in Firedrake. However, we have been able to generate some results using mesh adaptation driven by
Pragmatic, including the goal-oriented case. Note that Pragmatic uses a metric based approach on unstructured meshes, as opposed to hierarchical mesh adaptation (which is sometimes referred to as AMR).
If you are interested feel free to email me directly.