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

Remove hoare_vcg_precond_imp from wp_comb PR #2512: Pull request #747 synchronize by corlewis
April 9, 2024 03:54 48s corlewis:hoare_vcg_precond_imp_comb
corlewis:hoare_vcg_precond_imp_comb
April 9, 2024 03:54 48s
Remove hoare_vcg_precond_imp from wp_comb PR #2511: Pull request #747 opened by corlewis
April 9, 2024 02:51 1m 2s corlewis:hoare_vcg_precond_imp_comb
corlewis:hoare_vcg_precond_imp_comb
April 9, 2024 02:51 1m 2s
Add deletionIsSafe2 assert to deleteObjects PR #2510: Pull request #742 synchronize by michaelmcinerney
April 8, 2024 12:07 53s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
April 8, 2024 12:07 53s
Add deletionIsSafe2 assert to deleteObjects PR #2509: Pull request #742 synchronize by michaelmcinerney
April 8, 2024 11:55 48s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
April 8, 2024 11:55 48s
Yet more rules for Lib PR #2508: Pull request #737 synchronize by michaelmcinerney
April 8, 2024 11:37 51s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
April 8, 2024 11:37 51s
Yet more rules for Lib PR #2507: Pull request #737 synchronize by michaelmcinerney
April 8, 2024 02:23 1m 8s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
April 8, 2024 02:23 1m 8s
aarch64 crefine: update to match other arches PR #2506: Pull request #744 synchronize by corlewis
April 2, 2024 00:59 1m 5s corlewis:aarch64_crefine_update
corlewis:aarch64_crefine_update
April 2, 2024 00:59 1m 5s
Yet more rules for Lib PR #2505: Pull request #737 synchronize by michaelmcinerney
March 28, 2024 01:03 55s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 28, 2024 01:03 55s
docs: add cross compilers to Linux dependencies PR #2504: Pull request #745 opened by lsf37
March 27, 2024 10:32 51s cross-compiler-setup
cross-compiler-setup
March 27, 2024 10:32 51s
aarch64 crefine: update to match other arches PR #2503: Pull request #744 synchronize by corlewis
March 27, 2024 05:09 44s corlewis:aarch64_crefine_update
corlewis:aarch64_crefine_update
March 27, 2024 05:09 44s
Yet more rules for Lib PR #2502: Pull request #737 synchronize by michaelmcinerney
March 27, 2024 04:58 48s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 27, 2024 04:58 48s
Minor improvements to CRefine PR #2501: Pull request #699 synchronize by corlewis
March 27, 2024 04:49 49s corlewis:crefine_improvements
corlewis:crefine_improvements
March 27, 2024 04:49 49s
Add deletionIsSafe2 assert to deleteObjects PR #2500: Pull request #742 synchronize by michaelmcinerney
March 27, 2024 04:19 1m 4s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
March 27, 2024 04:19 1m 4s
Yet more rules for Lib PR #2499: Pull request #737 synchronize by michaelmcinerney
March 27, 2024 04:12 54s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 27, 2024 04:12 54s
aarch64 crefine: update to match other arches PR #2498: Pull request #744 opened by corlewis
March 27, 2024 01:34 44s corlewis:aarch64_crefine_update
corlewis:aarch64_crefine_update
March 27, 2024 01:34 44s
Improve wp_pre tracing PR #2497: Pull request #731 synchronize by corlewis
March 27, 2024 01:21 49s corlewis:wp_pre_tracing
corlewis:wp_pre_tracing
March 27, 2024 01:21 49s
Enlarge the prefix_refinement rule set PR #2496: Pull request #738 synchronize by corlewis
March 27, 2024 01:16 52s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 27, 2024 01:16 52s
Proofs for SGI API PR #2495: Pull request #733 synchronize by lsf37
March 26, 2024 11:02 52s sgi
sgi
March 26, 2024 11:02 52s
Enlarge the prefix_refinement rule set PR #2494: Pull request #738 synchronize by corlewis
March 26, 2024 09:58 53s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 26, 2024 09:58 53s
Enlarge the trace monad rule set for RG logic PR #2493: Pull request #721 synchronize by corlewis
March 26, 2024 09:58 53s corlewis:trace_more_rg
corlewis:trace_more_rg
March 26, 2024 09:58 53s
Yet more rules for Lib PR #2492: Pull request #737 synchronize by michaelmcinerney
March 26, 2024 09:45 45s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 26, 2024 09:45 45s
Add deletionIsSafe2 assert to deleteObjects PR #2491: Pull request #742 synchronize by michaelmcinerney
March 26, 2024 09:06 38s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
March 26, 2024 09:06 38s
Add deletionIsSafe2 assert to deleteObjects PR #2490: Pull request #742 synchronize by michaelmcinerney
March 26, 2024 08:19 51s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
March 26, 2024 08:19 51s
Add deletionIsSafe2 assert to deleteObjects PR #2489: Pull request #742 synchronize by michaelmcinerney
March 26, 2024 08:14 53s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
March 26, 2024 08:14 53s
Update comment for RefineOrphanage session PR #2488: Pull request #743 opened by michaelmcinerney
March 26, 2024 00:12 1m 1s michaelm-RefineOrphanage
michaelm-RefineOrphanage
March 26, 2024 00:12 1m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-03-26 or the other filters available.