Skip to content

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion #1688

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion

Introduce term "identity convertible" for types that aren't the same type, but have an identity conversion #1688

Workflow file for this run

name: Word Converter
# Triggers the workflow on pull request events that update the branch
on:
pull_request:
types: [opened, synchronize, reopened]
workflow_dispatch:
inputs:
reason:
description: 'The reason for running the workflow'
required: true
default: 'Manual run'
jobs:
word-converter:
runs-on: ubuntu-latest
env:
DOTNET_NOLOGO: true
steps:
- name: Check out our repo
uses: actions/checkout@v2
- name: Setup .NET 6.0
uses: actions/setup-dotnet@v1
with:
dotnet-version: 6.0.x
- name: Run converter
run: |
cd tools
./run-converter.sh