Fix issues with missing well-formedness checks #428

Alasdair · 2024-01-23T23:24:47Z

Make sure numeric type synonyms with arguments are expanded correctly

github-actions · 2024-01-23T23:36:50Z

Test Results

8 files ±0 19 suites ±0 0s ⏱️ ±0s
597 tests +2 597 ✅ +2 0 💤 ±0 0 ❌ ±0
1 937 runs +3 1 936 ✅ +3 1 💤 ±0 0 ❌ ±0

Results for commit 47a89e9. ± Comparison against base commit 2265db1.

♻️ This comment has been updated with latest results.

Make sure numeric type synonyms with arguments are expanded correctly

Alasdair force-pushed the wf_fixes branch from f3e05ae to 89b6d95 Compare January 23, 2024 23:25

Alasdair force-pushed the wf_fixes branch from 89b6d95 to 0fc8ec4 Compare January 24, 2024 00:06

Fix issues with missing well-formedness checks

47a89e9

Make sure numeric type synonyms with arguments are expanded correctly

Alasdair force-pushed the wf_fixes branch from 0fc8ec4 to 47a89e9 Compare January 24, 2024 00:08

Alasdair merged commit 2b239d7 into sail2 Jan 24, 2024
8 of 9 checks passed

Alasdair deleted the wf_fixes branch January 26, 2024 15:11