.github/workflows/build_2021-1.yml

Added injectivity of swap substitution #8

Sign in to view logs

Triggered via push September 11, 2023 11:15

main

Status Success

Total duration 36m 33s

Artifacts –

build_2021-1.yml

on: push

Build Shallow-Expressions