Skip to content

TypeCtx as generalization of TypeScope, better @theorymap parsing #341

TypeCtx as generalization of TypeScope, better @theorymap parsing

TypeCtx as generalization of TypeScope, better @theorymap parsing #341

Triggered via pull request September 26, 2023 23:17
Status Success
Total duration 4m 52s
Artifacts

julia_ci.yml

on: pull_request
CI  /  Documentation
2m 52s
CI / Documentation
CompatHelper  /  CompatHelper
CompatHelper / CompatHelper
Release  /  register
Release / register
Matrix: CI / test
Fit to window
Zoom out
Zoom in