Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit history

Commits on Nov 1, 2023

• Fix CI (again) (#4196)

  nlohmann

  authored
  0261bc0

  Copy full SHA for 0261bc0

Commits on Mar 13, 2023

• Set minimal permissions to Github Workflows (#3972)

  joycebrum

  authored
  546370c

  Copy full SHA for 546370c

Commits on Aug 3, 2022

• Update CI (#3626)

  Show description for ac9e668
  falbrechtskirchinger

  authored
  ac9e668

  Copy full SHA for ac9e668

Commits on Jul 28, 2022

• Use concurrency (#3610)

  Show description for 298e4a9
  falbrechtskirchinger

  authored
  298e4a9

  Copy full SHA for 298e4a9

Commits on Apr 6, 2022

• Update CI image (#3420)

  Show description for 448b173
  nlohmann

  authored
  448b173

  Copy full SHA for 448b173

Commits on Mar 6, 2022

• Fix and update CI (#3368)

  Show description for d1e57df
  falbrechtskirchinger

  authored
  d1e57df

  Copy full SHA for d1e57df

Commits on Aug 16, 2021

• :construction_worker: run CI for release branches

  nlohmann

  committed
  f1e63a8

  Copy full SHA for f1e63a8

Commits on Jul 8, 2020

• :construction_worker: add code scanning

  nlohmann

  authored
  d019ddf

  Copy full SHA for d019ddf

Loading