This website requires JavaScript.
Explore
Help
Sign In
mitchellrenouf
/
mrml
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
4
Packages
Projects
Releases
Wiki
Activity
All Workflows
Other workflows
4
ci.yml
codeql.yml
kernel-vmm-security.yml
sanitizers.yml
30 workflow runs
Actor
All actors
mitchellrenouf
Status
All status
Success
Failure
Canceled
Skipped
Waiting
Running
Blocked
Canceling
Branch
All branches
main
Create status badge
Test exact runtime authorization
#106
:
Commit
ca0ba55d0d
pushed by
mitchellrenouf
main
2026-08-29 23:38:59 +00:00
0s
View workflow file
Format configuration service
#103
:
Commit
daf0fc741a
pushed by
mitchellrenouf
main
2026-08-29 23:38:59 +00:00
1m18s
View workflow file
compiler: compare valid wide strict sign casts
#100
:
Commit
7123265724
pushed by
mitchellrenouf
main
2026-08-29 23:35:19 +00:00
54s
View workflow file
compiler: advance pinned core recovery boundary
#97
:
Commit
17a9607193
pushed by
mitchellrenouf
main
2026-08-29 23:33:14 +00:00
1m36s
View workflow file
compiler: preserve pinned alloc core link probe
#94
:
Commit
b4f33a1538
pushed by
mitchellrenouf
main
2026-08-29 23:32:54 +00:00
1m53s
View workflow file
docs: record typed COFF runtime checkpoint
#91
:
Commit
bb49b36d0a
pushed by
mitchellrenouf
main
2026-08-29 23:30:07 +00:00
1m45s
View workflow file
ci: persist oracle environment between steps
#87
:
Commit
c5c7179e20
pushed by
mitchellrenouf
main
2026-08-29 23:29:04 +00:00
1m12s
View workflow file
ci: repair assurance unsafe ledger
#84
:
Commit
11aefff050
pushed by
mitchellrenouf
main
2026-08-29 23:27:01 +00:00
1m21s
View workflow file
compiler: isolate wide strict sign cast traps
#81
:
Commit
b29abb7056
pushed by
mitchellrenouf
main
2026-08-29 23:24:29 +00:00
1m18s
View workflow file
Require exact service supervision rights
#77
:
Commit
7f967c76d4
pushed by
mitchellrenouf
main
2026-08-29 23:23:08 +00:00
1m20s
View workflow file
Enforce unique live service objects
#73
:
Commit
dca75f390a
pushed by
mitchellrenouf
main
2026-08-29 23:21:07 +00:00
2m10s
View workflow file
Enforce unique supervised task identity
#69
:
Commit
a684f8fd2e
pushed by
mitchellrenouf
main
2026-08-29 23:17:22 +00:00
1m21s
View workflow file
Format kernel exports
#65
:
Commit
ac4fd87884
pushed by
mitchellrenouf
main
2026-08-29 23:14:07 +00:00
1m19s
View workflow file
compiler: validate wide sign cast execution
#62
:
Commit
572f4ab513
pushed by
mitchellrenouf
main
2026-08-29 23:12:31 +00:00
1m21s
View workflow file
Preflight service retirement state
#58
:
Commit
60fa3fa1df
pushed by
mitchellrenouf
main
2026-08-29 23:11:13 +00:00
1m44s
View workflow file
ci: migrate workflows to Gitea Actions
#54
:
Commit
50054bc4b8
pushed by
mitchellrenouf
main
2026-08-29 23:09:46 +00:00
1m13s
View workflow file
Format service probe bootloader
#51
:
Commit
6c232b820a
pushed by
mitchellrenouf
main
2026-08-29 23:07:31 +00:00
1m15s
View workflow file
Preflight scheduler task migration
#47
:
Commit
b310e8faee
pushed by
mitchellrenouf
main
2026-08-29 23:03:45 +00:00
1m18s
View workflow file
docs: note deleted GitHub account
#44
:
Commit
9ff7cbd55d
pushed by
mitchellrenouf
main
2026-08-29 23:02:35 +00:00
59s
View workflow file
Reserve reciprocal control peer slots
#40
:
Commit
7da5383bbe
pushed by
mitchellrenouf
main
2026-08-29 23:01:45 +00:00
1m27s
View workflow file
docs: record MRML homepage and hosting
#37
:
Commit
1d1bb27d4d
pushed by
mitchellrenouf
main
2026-08-29 23:00:24 +00:00
58s
View workflow file
Reserve peer death publication slots
#33
:
Commit
c66862da3c
pushed by
mitchellrenouf
main
2026-08-29 23:00:00 +00:00
1m3s
View workflow file
Preflight transitive capability revocation
#29
:
Commit
f5d44b3499
pushed by
mitchellrenouf
main
2026-08-29 22:57:25 +00:00
1m16s
View workflow file
Preflight current task termination
#25
:
Commit
c5ed7912e7
pushed by
mitchellrenouf
main
2026-08-29 22:52:55 +00:00
1m16s
View workflow file
Bind preemption domain before scheduler tick
#21
:
Commit
898bc1a950
pushed by
mitchellrenouf
main
2026-08-29 22:50:09 +00:00
1m17s
View workflow file
Preflight peer death wake set
#17
:
Commit
0ff855287b
pushed by
mitchellrenouf
main
2026-08-29 22:48:56 +00:00
1m17s
View workflow file
Preflight queued IPC receiver wake
#13
:
Commit
b62150f8b3
pushed by
mitchellrenouf
main
2026-08-29 22:47:47 +00:00
1m17s
View workflow file
Reserve queued IPC inbox publication
#9
:
Commit
2dcec321c9
pushed by
mitchellrenouf
main
2026-08-29 22:45:29 +00:00
1m17s
View workflow file
Commit IPC sequence after publication
#5
:
Commit
c25055ec67
pushed by
mitchellrenouf
main
2026-08-29 22:43:09 +00:00
1m17s
View workflow file
compiler: probe wide sign cast execution
#2
:
Commit
98310de29b
pushed by
mitchellrenouf
main
2026-08-29 22:35:08 +00:00
20m23s
View workflow file
Status Badge
Branch
main
main
Badge URL
Markdown
HTML