.github/workflows/emacs.yml

fix (non) export of integer literals to coq and dk #35

Sign in to view logs

Triggered via pull request November 26, 2025 17:47

fblanqui

synchronize #1327

fblanqui:export

Status Success

Total duration 1m 12s

Artifacts –

emacs.yml

on: pull_request

Matrix: test_compile