Skip to content

fix some bad assignments and lint warning related to RVFI feature (#1… #5

fix some bad assignments and lint warning related to RVFI feature (#1…

fix some bad assignments and lint warning related to RVFI feature (#1… #5

# Copyright 2023 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
# Author: Nils Wistoff <[email protected]>
name: bender-up-to-date
on: [ push, pull_request, workflow_dispatch ]
jobs:
bender-up-to-date:
runs-on: ubuntu-latest
steps:
- name: Check Bender up-to-date
uses: pulp-platform/pulp-actions/bender-up-to-date@v2