Skip to content
CI

Add smart constructors for terms, and other improvements to fly/src/syntax.rs #704

Sign in to view logs

Add smart constructors for terms, and other improvements to fly/src/syntax.rs

Add smart constructors for terms, and other improvements to fly/src/syntax.rs #704

Triggered via pull request July 23, 2023 05:56
@odedpodedp
synchronize #131
more-smart-constructors
Status Success
Total duration 5m 52s
Artifacts –

build.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in