Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
main
default
protected
7366cc93
·
chore: switch proveit/cobalt.rocks/isabelle.2024 -> proveit/main
·
Dec 16, 2024
cobalt.rocks/log-v2
fcbaba24
·
fix: instantiate nixpkgs to make import cheaper
·
Oct 23, 2024
!5
Stale branches
ci-tests
b5789e32
·
fix: close db properly
·
Jan 29, 2024
!1
set-sast-config-1
4022d9a4
·
Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
·
Feb 18, 2024