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

lib: none_top/none_bot for option predicates PR #2437: Pull request #732 synchronize by lsf37
March 12, 2024 14:15 50s none-top-bot
none-top-bot
March 12, 2024 14:15 50s
lib: none_top/none_bot for option predicates PR #2436: Pull request #732 synchronize by lsf37
March 12, 2024 14:11 52s none-top-bot
none-top-bot
March 12, 2024 14:11 52s
lib: none_top/none_bot for option predicates PR #2435: Pull request #732 opened by lsf37
March 12, 2024 13:54 1m 2s none-top-bot
none-top-bot
March 12, 2024 13:54 1m 2s
Improve wp_pre tracing PR #2434: Pull request #731 opened by corlewis
March 11, 2024 06:58 52s corlewis:wp_pre_tracing
corlewis:wp_pre_tracing
March 11, 2024 06:58 52s
Enlarge the trace monad rule set for RG logic PR #2433: Pull request #721 synchronize by corlewis
March 6, 2024 03:18 1m 28s corlewis:trace_more_rg
corlewis:trace_more_rg
March 6, 2024 03:18 1m 28s
AArch64 CRefine (without fastpath) PR #2432: Pull request #728 synchronize by lsf37
March 1, 2024 20:51 52s aarch64
aarch64
March 1, 2024 20:51 52s
AArch64 CRefine (without fastpath) PR #2431: Pull request #728 synchronize by lsf37
March 1, 2024 20:49 54s aarch64
aarch64
March 1, 2024 20:49 54s
AArch64 CRefine (without fastpath) PR #2430: Pull request #728 synchronize by lsf37
March 1, 2024 15:57 5m 47s aarch64
aarch64
March 1, 2024 15:57 5m 47s
AArch64 CRefine (without fastpath) PR #2429: Pull request #728 opened by lsf37
March 1, 2024 15:54 7m 29s aarch64
aarch64
March 1, 2024 15:54 7m 29s
Monads: refactor reader_option and nondet connection PR #2428: Pull request #722 synchronize by corlewis
March 1, 2024 01:02 52s corlewis:nondet_reader_option
corlewis:nondet_reader_option
March 1, 2024 01:02 52s
Monads: refactor reader_option and nondet connection PR #2427: Pull request #722 synchronize by corlewis
February 29, 2024 23:31 50s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 29, 2024 23:31 50s
Monads: refactor reader_option and nondet connection PR #2426: Pull request #722 synchronize by corlewis
February 29, 2024 10:12 51s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 29, 2024 10:12 51s
Remove unused lookup and reader_option definitions PR #2425: Pull request #725 opened by corlewis
February 28, 2024 23:05 45s corlewis:lookup_definitions
corlewis:lookup_definitions
February 28, 2024 23:05 45s
Monads: refactor reader_option and nondet connection PR #2424: Pull request #722 synchronize by corlewis
February 28, 2024 06:21 44s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 28, 2024 06:21 44s
Monads: refactor reader_option and nondet connection PR #2423: Pull request #722 synchronize by corlewis
February 28, 2024 06:18 47s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 28, 2024 06:18 47s
Enlarge the trace monad rule set for RG logic PR #2422: Pull request #721 synchronize by corlewis
February 28, 2024 03:44 50s corlewis:trace_more_rg
corlewis:trace_more_rg
February 28, 2024 03:44 50s
arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) PR #2421: Pull request #723 synchronize by lsf37
February 27, 2024 11:23 44s vmpidr
vmpidr
February 27, 2024 11:23 44s
arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) PR #2420: Pull request #723 synchronize by lsf37
February 27, 2024 11:06 47s vmpidr
vmpidr
February 27, 2024 11:06 47s
Enlarge the trace monad rule set for RG logic PR #2419: Pull request #721 synchronize by corlewis
February 27, 2024 07:22 51s corlewis:trace_more_rg
corlewis:trace_more_rg
February 27, 2024 07:22 51s
Monads: refactor reader_option and nondet connection PR #2418: Pull request #722 synchronize by corlewis
February 26, 2024 12:03 58s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 26, 2024 12:03 58s
github: add manual trigger for NUM_DOMAINS PR #2417: Pull request #724 opened by lsf37
February 26, 2024 11:52 40s dispatch
dispatch
February 26, 2024 11:52 40s
Monads: refactor reader_option and nondet connection PR #2416: Pull request #722 synchronize by corlewis
February 26, 2024 11:14 45s corlewis:nondet_reader_option
corlewis:nondet_reader_option
February 26, 2024 11:14 45s
Some more rules for Lib PR #2415: Pull request #720 synchronize by michaelmcinerney
February 26, 2024 09:56 43s michaelm-rules_for_Lib_Feb22
michaelm-rules_for_Lib_Feb22
February 26, 2024 09:56 43s
arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) PR #2414: Pull request #723 synchronize by lsf37
February 26, 2024 08:08 53s vmpidr
vmpidr
February 26, 2024 08:08 53s
arm-hyp+aarch64 haskell: add VCPURegVMPIDR(_EL2) PR #2413: Pull request #723 synchronize by lsf37
February 25, 2024 18:38 53s vmpidr
vmpidr
February 25, 2024 18:38 53s
ProTip! You can narrow down the results and go further in time using created:<2024-02-25 or the other filters available.