Skip to content
    Title
    Assignees
    Status
    Repository
    Labels
    Done (59)This has been completed
    1
    Update CHANGES file for seL4, camkes-tool, capDL
    lsf37lsf37
    Done
    2
    Microkit release
    Ivan-VelickovicIvan-Velickovic
    Done
    3
    Coordinate seL4, microkit, and Rust releases
    Ivan-Velickoviclsf37nspin
    Ivan-Velickovic, lsf37, and nspin
    Done
    4
    run post-release setup once CI is green
    lsf37lsf37
    Done
    5
    Update CONTRIBUTORS file in the seL4 repo
    #1276
    lsf37lsf37
    Done
    seL4/seL4
    2 suggestions