Skip to content

Actions: axel-h/seL4

Actions

RefMan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
manual.yml
1,778 workflow runs
1,778 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch-axel-34] mypy RefMan #3702: Pull request #158 synchronize by axel-h
July 1, 2024 11:35 2m 31s patch-axel-34
patch-axel-34
July 1, 2024 11:35 2m 31s
[patch-axel-34] mypy RefMan #3701: Pull request #158 synchronize by axel-h
July 1, 2024 11:34 3m 0s patch-axel-34
patch-axel-34
July 1, 2024 11:34 3m 0s
recreate 13.0.0 release state RefMan #3700: Commit cd6d3b8 pushed by axel-h
July 1, 2024 11:31 1m 32s master
master
July 1, 2024 11:31 1m 32s
[patch-axel-19] add a700 RefMan #3699: Pull request #144 synchronize by axel-h
July 1, 2024 08:44 5m 58s patch-axel-19
patch-axel-19
July 1, 2024 08:44 5m 58s
KernelFWholeProgram=On RefMan #3698: Pull request #165 synchronize by axel-h
July 1, 2024 08:41 1m 55s patch-axel-102a
patch-axel-102a
July 1, 2024 08:41 1m 55s
[patch-axel-58] fastpath cleanup RefMan #3697: Pull request #133 synchronize by axel-h
July 1, 2024 08:40 1m 25s patch-axel-58
patch-axel-58
July 1, 2024 08:40 1m 25s
[patch-axel-58] fastpath cleanup RefMan #3696: Pull request #133 synchronize by axel-h
July 1, 2024 08:24 2m 23s patch-axel-58
patch-axel-58
July 1, 2024 08:24 2m 23s
[patch-axel-26] inline RESET_CYCLES RefMan #3695: Pull request #125 synchronize by axel-h
July 1, 2024 08:24 1m 21s patch-axel-26
patch-axel-26
July 1, 2024 08:24 1m 21s
[patch-axel-62] RefMan #3694: Pull request #167 opened by axel-h
July 1, 2024 08:20 1m 29s patch-axel-62
patch-axel-62
July 1, 2024 08:20 1m 29s
[patch-axel-34] mypy RefMan #3693: Pull request #158 synchronize by axel-h
July 1, 2024 08:18 2m 11s patch-axel-34
patch-axel-34
July 1, 2024 08:18 2m 11s
[patch-axel-47] remove autoconf.h RefMan #3692: Pull request #151 synchronize by axel-h
July 1, 2024 08:17 1m 27s patch-axel-47
patch-axel-47
July 1, 2024 08:17 1m 27s
[patch-axel-47] remove autoconf.h RefMan #3691: Pull request #151 synchronize by axel-h
July 1, 2024 07:55 5m 11s patch-axel-47
patch-axel-47
July 1, 2024 07:55 5m 11s
Update VERSION file to 13.0.0-dev RefMan #3690: Commit 94ca590 pushed by axel-h
July 1, 2024 07:52 1m 25s master
master
July 1, 2024 07:52 1m 25s
[patch-axel-52] RefMan #3689: Pull request #166 synchronize by axel-h
July 1, 2024 07:36 1m 23s patch-axel-52
patch-axel-52
July 1, 2024 07:36 1m 23s
[patch-axel-34] mypy RefMan #3688: Pull request #158 synchronize by axel-h
July 1, 2024 07:20 7m 53s patch-axel-34
patch-axel-34
July 1, 2024 07:20 7m 53s
[patch-axel-47] remove autoconf.h RefMan #3687: Pull request #151 synchronize by axel-h
July 1, 2024 07:15 10m 36s patch-axel-47
patch-axel-47
July 1, 2024 07:15 10m 36s
[patch-axel-52] RefMan #3686: Pull request #166 synchronize by axel-h
July 1, 2024 07:12 9m 51s patch-axel-52
patch-axel-52
July 1, 2024 07:12 9m 51s
manual: document useful constants for SC creation RefMan #3685: Commit a6129c1 pushed by axel-h
July 1, 2024 07:10 1m 33s master
master
July 1, 2024 07:10 1m 33s
[patch-axel-81] python improvements RefMan #3684: Pull request #102 synchronize by axel-h
June 28, 2024 14:57 47m 14s patch-axel-81
patch-axel-81
June 28, 2024 14:57 47m 14s
enforce proper handling of irq_t RefMan #3683: Pull request #116 synchronize by axel-h
June 28, 2024 14:54 41m 55s patch-axel-73
patch-axel-73
June 28, 2024 14:54 41m 55s
[patch-axel-48] cleanup and align IPI definitions RefMan #3682: Pull request #117 synchronize by axel-h
June 28, 2024 14:53 29m 50s patch-axel-48
patch-axel-48
June 28, 2024 14:53 29m 50s
[atch-axel-93] make CONFIGURE_KERNEL_WCET generic RefMan #3681: Pull request #113 synchronize by axel-h
June 28, 2024 14:20 51m 23s patch-axel-93
patch-axel-93
June 28, 2024 14:20 51m 23s
[patch-axel-91] python clenaup RefMan #3680: Pull request #130 synchronize by axel-h
June 28, 2024 14:16 51m 4s patch-axel-91
patch-axel-91
June 28, 2024 14:16 51m 4s
[patch-axel-67] slot setup during boot RefMan #3679: Pull request #47 synchronize by axel-h
June 28, 2024 14:12 48m 44s patch-axel-67
patch-axel-67
June 28, 2024 14:12 48m 44s
[patch-axel-16a] fault handling RefMan #3678: Pull request #24 synchronize by axel-h
June 28, 2024 14:11 46m 9s patch-axel-16a
patch-axel-16a
June 28, 2024 14:11 46m 9s