Skip to content

Make names in scope in functors accessible when their instantiations are loaded at the REPL #74

Make names in scope in functors accessible when their instantiations are loaded at the REPL

Make names in scope in functors accessible when their instantiations are loaded at the REPL #74

Triggered via pull request August 2, 2023 22:21
@qsctrqsctr
synchronize #1559
T1455
Status Success
Total duration 3m 35s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: pull_request
build-branch-docs
1m 51s
build-branch-docs
build-pages-docs
3m 21s
build-pages-docs
Fit to window
Zoom out
Zoom in