Skip to content
GitLab
Explore
Sign in
Resolve "Automatically display spotlights on the frontpage"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christian Meeßen
requested to merge
131-automatically-display-spotlights-on-the-frontpage
into
main
Jun 04, 2024
Overview
1
Commits
2
Pipelines
13
Changes
8
Expand
Closes
#131 (closed)
👉
Currently deployed at
RSD staging
👈
Preview1 : kadi4mat
Preview 2: tamarin prover
Edited
Jun 05, 2024
by
Christian Meeßen
Merge request reports
Loading
