Skip to content
Snippets Groups Projects

remove logreal/heaplang in favor of POPL20 tutorial

Merged remove logreal/heaplang in favor of POPL20 tutorial
ralf/rm-logreal-heaplang into master
Merged Ralf Jung requested to merge ralf/rm-logreal-heaplang into master

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.