Skip to content
Snippets Groups Projects

Allow connection endpoints for list nonterminals

Merged Allow connection endpoints for list nonterminals
21-allow-connection-endpoints-for-list-nonterminals into dev
Merged René Schöne requested to merge 21-allow-connection-endpoints-for-list-nonterminals into dev

Closes #21 (closed)

Merge request reports

Pipeline #10598 passed

Stage: build
Stage: test
Stage: ragdoc_build
Stage: ragdoc_view

Pipeline passed for d525231a on 21-allow-connection-endpoints-for-list-nonterminals

Merged by René SchöneRené Schöne 3 years ago (Jul 28, 2021 3:44pm UTC)

Loading

Pipeline #10617 passed with warnings

Stage: build
Stage: test
Stage: ragdoc_build
Stage: ragdoc_view
Stage: publish
Stage: deploy

Pipeline passed with warnings for 3886c0f7 on dev

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
Please register or sign in to reply