Skip to content

Activity

Showing most recent first

auto-deployed

seL4-cipushed 1 commit to gh-pages • c4b772a…1a64471 • 
2 hours ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • a2f2a68…c4b772a • 
yesterday

auto-deployed

seL4-cipushed 1 commit to gh-pages • c80db41…a2f2a68 • 
2 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 8b5c4a7…c80db41 • 
3 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • e9e507e…8b5c4a7 • 
4 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 7b3de47…e9e507e • 
5 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 239daf3…7b3de47 • 
6 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 19c24f2…239daf3 • 
7 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 08e1b72…19c24f2 • 
7 days ago

Deleted branch

Ivan-Velickovicdeleted microkit_2.0.1 • 
7 days ago

Add Microkit 2.0.1 release

Pull request merge
Ivan-Velickovicpushed 1 commit to master • 988912e…f107c6a • 
7 days ago

Add Microkit 2.0.1 release

Force push
Ivan-Velickovicforce pushed to microkit_2.0.1 • 4129d11…aef3122 • 
8 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 3bd6d73…08e1b72 • 
8 days ago

Add Microkit 2.0.1 release

Ivan-Velickoviccreated microkit_2.0.1 • 4129d11 • 
8 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 91399c9…3bd6d73 • 
9 days ago

Deleted branch

lsf37deleted newer_pip_instructions • 
9 days ago

Instructions for externally managed Python

Pull request merge
lsf37pushed 1 commit to master • 3592151…988912e • 
9 days ago

Instructions for externally managed Python

Force push
lsf37force pushed to newer_pip_instructions • 66b3ecd…6cca0d9 • 
9 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 694cc89…91399c9 • 
9 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • cd90673…694cc89 • 
10 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 0106538…cd90673 • 
11 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • bf18090…0106538 • 
11 days ago

Merge branch 'master' into newer_pip_instructions

lsf37pushed 2 commits to newer_pip_instructions • bf4a0f5…66b3ecd • 
11 days ago

Deleted branch

lsf37deleted lsf37/central-workflows • 
11 days ago

github: use central CI workflows

Pull request merge
lsf37pushed 1 commit to master • a1125e4…3592151 • 
11 days ago

[squash] factor out pip instructions

Force push
lsf37force pushed to newer_pip_instructions • c57de12…bf4a0f5 • 
11 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • a8acb32…bf18090 • 
12 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • 3167cbd…a8acb32 • 
13 days ago

auto-deployed

seL4-cipushed 1 commit to gh-pages • a5e139b…3167cbd • 
14 days ago

github: use central CI workflows

lsf37created lsf37/central-workflows • b19526a • 
14 days ago