The AutoProof action verifies your Eiffel code. It requires that your repository contains an .ecf file describing the configuration of your project.
The action pulls a pre-packaged Docker image (specified in the Dockerfile) with Ubuntu that includes a ready-to-use AutoProof bundle. The Docker image may be pulled and used independently (https://hub.docker.com/repository/docker/anaumchev/autoproof).
The following file contains an example of a workflow that applies the AutoProof action: https://github.com/anaumchev/autoproof/blob/45db5512f6cad309e80f868ff64cc800094d3323/.github/workflows/main.yml. The action is applied to a simple Eiffel project (specified in the ap_project.ecf file) that consists of a single class (file account.e).
AutoProof was originally developed by the Chair of Software Engineering at ETH Zürich: http://se.inf.ethz.ch/research/autoproof/