Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • v1.22.9
  • v1.22.8
  • v1.22.7
  • v1.22.6
  • v1.22.5
  • v1.22.4
  • v1.22.3
  • v1.22.1
  • v1.22.0
  • v1.21.0
  • v1.20.5
  • v1.20.4
  • v1.20.3
  • v1.20.2
  • v1.20.1
  • v1.20.0
  • v1.19.0
  • v1.18.3
  • v1.18.2
  • v1.18.1
21 results

configuration

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Build & CI updates (#116)
    Will McCutchen authored 
    A few small tweaks:
- Simplify makefile
- Cancel in-progress CI jobs when new commits are pushed to a non-main
branch
- Drop manual codeql config now that GitHub supports automagical
configuration
    c9f5002d
    History
    user avatar c9f5002d
    History
    Name Last commit Last update