ci_ec2_any.yml

# SPDX-License-Identifier: Apache-2.0

name: ci-ec2-any
on:
  workflow_dispatch:
    inputs:
      name:
        description: Alternative name of instance
        default: Graviton2
      ec2_instance_type:
        description: Type if EC2 instance to run on
        default: t4g.small
      ec2_ami:
        description: AMI ID
        type: choice
        options:
          - ubuntu-latest (x86_64)
          - ubuntu-latest (aarch64)
          - ubuntu-latest (custom AMI)
        default: ubuntu-latest (aarch64)
      ec2_ami_id:
        description: AMI ID
        default: ami-096ea6a12ea24a797
      cflags:
        description: Custom CFLAGS for compilation
        default:
      opt:
        description: Run with optimized code if enabled
        type: boolean
        default: true
      cross-prefix:
        description: Cross-compilation binary prefix, if any
        default: ' '
      always_terminate:
        description: Indicates if instance should always be terminated, even on failure
        type: boolean
        default: true
      functest:
        description: Whether to run functional tests
        type: boolean
        default: true
      cbmc:
        description: Whether to run CBMC proofs
        type: boolean
        default: false
jobs:
  ci-ec2-any:
    name: Ad-hoc CI on $${{ inputs.ec2_instance_type }}
    uses: ./.github/workflows/ci_ec2_reusable.yml
    with:
      ec2_instance_type: ${{ inputs.ec2_instance_type }}
      ec2_ami: ${{ inputs.ec2_ami }}
      ec2_ami_id: ${{ inputs.ec2_ami_id }}
      cflags: ${{ inputs.cflags }}
      cross-prefix: ${{ inputs.cross-prefix }}
      opt: ${{ inputs.opt }}
      functest: ${{ inputs.functest }}
      lint: true
      cbmc: ${{ inputs.cbmc }}
      always_terminate: ${{ inputs.always_terminate }}
    secrets: inherit