Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
506 workflow runs
506 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update arch-split PR #2589: Pull request #771 synchronize by Xaphiosis
July 4, 2024 05:47 52s Xaphiosis:arch_split
Xaphiosis:arch_split
July 4, 2024 05:47 52s
docs: update arch-split PR #2588: Pull request #771 opened by Xaphiosis
July 4, 2024 05:31 51s Xaphiosis:arch_split
Xaphiosis:arch_split
July 4, 2024 05:31 51s
github: remove haskellstack.org from link check PR #2587: Pull request #770 synchronize by lsf37
July 1, 2024 07:13 51s link-check
link-check
July 1, 2024 07:13 51s
capdl: refactor tcb_slots PR #2586: Pull request #716 synchronize by lsf37
June 27, 2024 12:27 46s corlewis:tcb_slots
corlewis:tcb_slots
June 27, 2024 12:27 46s
github: remove haskellstack.org from link check PR #2585: Pull request #770 opened by lsf37
June 26, 2024 17:22 54s link-check
link-check
June 26, 2024 17:22 54s
Make 'a signed word have a different name than 'a word PR #2584: Pull request #769 synchronize by simonjwinwood
June 26, 2024 13:16 1m 4s simonjwinwood:fix/signed-words
simonjwinwood:fix/signed-words
June 26, 2024 13:16 1m 4s
C heap tactic PR #2581: Pull request #507 synchronize by simonjwinwood
June 26, 2024 07:44 44s simonjwinwood:wip/heap-tactic
simonjwinwood:wip/heap-tactic
June 26, 2024 07:44 44s
C heap tactic PR #2580: Pull request #507 synchronize by simonjwinwood
June 25, 2024 11:44 48s simonjwinwood:wip/heap-tactic
simonjwinwood:wip/heap-tactic
June 25, 2024 11:44 48s
haskell: sync hcrNative with C changes PR #2579: Pull request #768 opened by lsf37
June 19, 2024 09:14 50s wfx
wfx
June 19, 2024 09:14 50s
Remove old-style crunch and rename crunches to crunch PR #2578: Pull request #766 opened by corlewis
June 17, 2024 01:55 14m 41s corlewis:crunches
corlewis:crunches
June 17, 2024 01:55 14m 41s
More monad improvements PR #2577: Pull request #765 synchronize by corlewis
June 12, 2024 23:42 53s corlewis:monad_improvements2
corlewis:monad_improvements2
June 12, 2024 23:42 53s
Update to Isabelle2024 PR #2576: Pull request #764 synchronize by corlewis
June 12, 2024 03:06 1m 0s isabelle-2024
isabelle-2024
June 12, 2024 03:06 1m 0s
Update to Isabelle2024 PR #2575: Pull request #764 synchronize by corlewis
June 12, 2024 03:04 44s isabelle-2024
isabelle-2024
June 12, 2024 03:04 44s
Update to Isabelle2024 PR #2574: Pull request #764 synchronize by corlewis
June 12, 2024 02:46 50s isabelle-2024
isabelle-2024
June 12, 2024 02:46 50s
verification for IOAPIC PR seL4/seL4#896 PR #2573: Pull request #753 synchronize by lsf37
June 11, 2024 02:11 48s ioapic
ioapic
June 11, 2024 02:11 48s
verification for IOAPIC PR seL4/seL4#896 PR #2572: Pull request #753 synchronize by lsf37
June 11, 2024 02:03 1m 2s ioapic
ioapic
June 11, 2024 02:03 1m 2s
More monad improvements PR #2571: Pull request #765 opened by corlewis
June 11, 2024 01:19 54s corlewis:monad_improvements2
corlewis:monad_improvements2
June 11, 2024 01:19 54s
Update to Isabelle2024 PR #2570: Pull request #764 synchronize by corlewis
June 11, 2024 00:53 49s isabelle-2024
isabelle-2024
June 11, 2024 00:53 49s
Update to Isabelle2024 PR #2569: Pull request #764 opened by corlewis
June 11, 2024 00:35 47s isabelle-2024
isabelle-2024
June 11, 2024 00:35 47s
Monad improvements PR #2568: Pull request #759 synchronize by corlewis
June 7, 2024 04:12 51s corlewis:monad_improvements
corlewis:monad_improvements
June 7, 2024 04:12 51s
haskell-translator: avoid invalid escape sequence warnings PR #2567: Pull request #758 synchronize by lsf37
June 5, 2024 21:42 47s py-escapes
py-escapes
June 5, 2024 21:42 47s
haskell-translator: avoid invalid escape sequence warnings PR #2566: Pull request #758 synchronize by lsf37
June 5, 2024 05:12 57s py-escapes
py-escapes
June 5, 2024 05:12 57s
haskell-translator: avoid invalid escape sequence warnings PR #2565: Pull request #758 synchronize by lsf37
June 5, 2024 04:43 43s py-escapes
py-escapes
June 5, 2024 04:43 43s
make C build dependent on L4V_PLAT PR #2564: Pull request #761 opened by lsf37
June 2, 2024 23:48 53s plat-tweak
plat-tweak
June 2, 2024 23:48 53s
Monad improvements PR #2563: Pull request #759 synchronize by corlewis
May 31, 2024 02:57 50s corlewis:monad_improvements
corlewis:monad_improvements
May 31, 2024 02:57 50s