add MSVC-specific traits for persisting debug records into the IFC (#… #36

	# Creates or updates a 'prerelease' release whenever main is
	# changed. Attaches a built PDF to that release.
	name: On Main Branch Change
	on:
	push:
	branches:
	- main

	jobs:
	build_draft_pdf:
	runs-on: ubuntu-latest
	permissions:
	contents: write # Note: Needed in order to generate a tag on the associated commit.
	steps:
	- name: Set up Git repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set origin HEAD
	run: git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main

	- name: Compile document
	uses: xu-cheng/latex-action@v2
	with:
	root_file: ifc.tex
	working_directory: ltx

	- name: Compile changelog
	run: \|
	echo 'CHANGELOG<<EOF' >> $GITHUB_ENV
	ruby ./.github/workflows/compile-changelog.rb $GITHUB_ENV
	echo 'EOF' >> $GITHUB_ENV

	- name: Create prerelease
	uses: ncipollo/release-action@v1
	with:
	allowUpdates: true
	name: Prerelease
	prerelease: true
	tag: prerelease
	body: \|
	This release is a prerelease. The contents of this release are likely to change.
	# Changelog
	${{ env.CHANGELOG }}
	artifacts: \|
	ltx/ifc.pdf

Provide feedback