Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 22, 2026

• update outreach committee (#579)

  Show description for 1f4ca5c
  bbrcknl

  authored
  1f4ca5c

  Copy full SHA for 1f4ca5c

Commits on Apr 21, 2026

• summit: deadline extension (#578)

  Show description for 778c0f9
  june-andronick

  authored
  778c0f9

  Copy full SHA for 778c0f9

Commits on Apr 16, 2026

• add proofcraft sponsorship announcement (#577)

  Show description for ee50ba4
  bbrcknl

  authored
  ee50ba4

  Copy full SHA for ee50ba4

Commits on Apr 15, 2026

• Riverside sponsorship (#576)

  Show description for 6d92eff
  bbrcknl

  authored
  6d92eff

  Copy full SHA for 6d92eff

Commits on Apr 13, 2026

• CI: update performance results

  Show description for d7920f7
  seL4-ci

  committed
  d7920f7

  Copy full SHA for d7920f7

Commits on Apr 10, 2026

• CI: update performance results

  Show description for 1ef7cc4
  seL4-ci

  committed
  1ef7cc4

  Copy full SHA for 1ef7cc4

Commits on Apr 9, 2026

• CI: update performance results

  Show description for 805fdb5
  seL4-ci

  committed
  805fdb5

  Copy full SHA for 805fdb5

Commits on Apr 8, 2026

• CI: update performance results

  Show description for 50d0939
  seL4-ci

  committed
  50d0939

  Copy full SHA for 50d0939

Commits on Apr 7, 2026

• CI: update performance results

  Show description for 21e37f8
  seL4-ci

  committed
  21e37f8

  Copy full SHA for 21e37f8

Commits on Mar 31, 2026

• News item for seL4 15.0.0 release++

  Show description for 4315848
  lsf37

  committed
  4315848

  Copy full SHA for 4315848

• Add manual for seL4 15.0.0

  Show description for f6e5f4f
  lsf37

  committed
  f6e5f4f

  Copy full SHA for f6e5f4f

• CI: update performance results

  Show description for 7b7cbc6
  seL4-ci

  committed
  7b7cbc6

  Copy full SHA for 7b7cbc6

• CI: update performance results

  Show description for 5c6f34b
  seL4-ci

  committed
  5c6f34b

  Copy full SHA for 5c6f34b

Commits on Mar 30, 2026

• CI: update performance results

  Show description for 57d7842
  seL4-ci

  committed
  57d7842

  Copy full SHA for 57d7842

Commits on Mar 25, 2026

• update cfp (#570)

  Show description for b854054
  bbrcknl

  authored
  b854054

  Copy full SHA for b854054

Commits on Mar 24, 2026

• CI: update performance results

  Show description for 8e9f43d
  seL4-ci

  committed
  8e9f43d

  Copy full SHA for 8e9f43d

Commits on Mar 22, 2026

• Update summit index page with location logos (#564)

  Show description for 35ab0af
  bbrcknl

  authored
  35ab0af

  Copy full SHA for 35ab0af

Commits on Mar 18, 2026

• Fix one more title occurrence

  Show description for e01f93d
  

  june-andronick

  authored and

  Indanz

  committed
  e01f93d

  Copy full SHA for e01f93d

• fix Martin's title

  Show description for 6b6a978
  

  june-andronick

  authored and

  Indanz

  committed
  6b6a978

  Copy full SHA for 6b6a978

• Makefile: reduce link checker noise

  Show description for 29fb609
  

  lsf37

  authored and

  Indanz

  committed
  29fb609

  Copy full SHA for 29fb609

• Announcement - keynotes and invited talks (#565)

  Show description for 2dd9f5b
  bbrcknl

  authored
  2dd9f5b

  Copy full SHA for 2dd9f5b

Commits on Mar 16, 2026

• CI: update performance results

  Show description for 96f3e9a
  seL4-ci

  committed
  96f3e9a

  Copy full SHA for 96f3e9a

Commits on Mar 13, 2026

• Neutrality membership announcement (#563)

  Show description for 1f1cb66
  bbrcknl

  authored
  1f1cb66

  Copy full SHA for 1f1cb66

• CI: update performance results

  Show description for 3d801d2
  seL4-ci

  committed
  3d801d2

  Copy full SHA for 3d801d2

Commits on Mar 12, 2026

• CI: update performance results

  Show description for 48bb1c9
  seL4-ci

  committed
  48bb1c9

  Copy full SHA for 48bb1c9

• CI: update performance results

  Show description for 2e05daa
  seL4-ci

  committed
  2e05daa

  Copy full SHA for 2e05daa

Commits on Mar 11, 2026

• CI: update performance results

  Show description for a3f0fcb
  seL4-ci

  committed
  a3f0fcb

  Copy full SHA for a3f0fcb

Commits on Mar 1, 2026

• CI: update performance results

  Show description for b7b30c4
  seL4-ci

  committed
  b7b30c4

  Copy full SHA for b7b30c4

Commits on Feb 27, 2026

• Update foundation members (#558)

  Show description for d4b35cd
  bbrcknl

  authored
  d4b35cd

  Copy full SHA for d4b35cd

Commits on Feb 26, 2026

• fix year for social activities (#562)

  Show description for e31a9db
  bbrcknl

  authored
  e31a9db

  Copy full SHA for e31a9db

• push back abstracts notification date (#560)

  Show description for 818c9dc
  bbrcknl

  authored
  818c9dc

  Copy full SHA for 818c9dc

Commits on Feb 22, 2026

• add BM for seL4 international (#559)

  Show description for 36dedfd
  bbrcknl

  authored
  36dedfd

  Copy full SHA for 36dedfd

• summit registration announcement (#556)

  Show description for 8a7baa7
  bbrcknl

  authored
  8a7baa7

  Copy full SHA for 8a7baa7

Commits on Feb 18, 2026

• CI: update performance results

  Show description for 487387a
  seL4-ci

  committed
  487387a

  Copy full SHA for 487387a

• CI: update performance results

  Show description for 14b8ff3
  seL4-ci

  committed
  14b8ff3

  Copy full SHA for 14b8ff3