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

Linked lists PR #2537: Pull request #752 synchronize by michaelmcinerney
May 8, 2024 00:52 1m 14s michaelm-linked_list_on_master
michaelm-linked_list_on_master
May 8, 2024 00:52 1m 14s
verification for IOAPIC PR seL4/seL4#896 PR #2536: Pull request #753 synchronize by lsf37
May 7, 2024 19:55 52s ioapic
ioapic
May 7, 2024 19:55 52s
verification for IOAPIC PR seL4/seL4#896 PR #2535: Pull request #753 synchronize by lsf37
May 7, 2024 19:53 46s ioapic
ioapic
May 7, 2024 19:53 46s
verification for IOAPIC PR seL4/seL4#896 PR #2534: Pull request #753 synchronize by lsf37
May 7, 2024 19:50 48s ioapic
ioapic
May 7, 2024 19:50 48s
verification for IOAPIC PR seL4/seL4#896 PR #2533: Pull request #753 synchronize by lsf37
May 7, 2024 19:36 43s ioapic
ioapic
May 7, 2024 19:36 43s
verification for IOAPIC PR seL4/seL4#896 PR #2532: Pull request #753 opened by lsf37
May 7, 2024 19:35 54s ioapic
ioapic
May 7, 2024 19:35 54s
Linked lists PR #2531: Pull request #752 synchronize by michaelmcinerney
May 7, 2024 11:17 59s michaelm-linked_list_on_master
michaelm-linked_list_on_master
May 7, 2024 11:17 59s
Linked lists PR #2530: Pull request #752 synchronize by michaelmcinerney
May 3, 2024 05:02 56s michaelm-linked_list_on_master
michaelm-linked_list_on_master
May 3, 2024 05:02 56s
lib: add wp_comb section to crunch PR #2529: Pull request #750 opened by corlewis
April 24, 2024 04:32 53s corlewis:crunch_wp_comb_sect
corlewis:crunch_wp_comb_sect
April 24, 2024 04:32 53s
Make hoare_seq_ext and hoare_vcg_seqE wp rules PR #2528: Pull request #748 synchronize by corlewis
April 22, 2024 03:17 52s corlewis:hoare_seq_ext_wp
corlewis:hoare_seq_ext_wp
April 22, 2024 03:17 52s
Improve WP_README's description of rule ordering PR #2527: Pull request #749 synchronize by corlewis
April 22, 2024 02:01 55s corlewis:wp_readme_order
corlewis:wp_readme_order
April 22, 2024 02:01 55s
Improve WP_README's description of rule ordering PR #2526: Pull request #749 synchronize by corlewis
April 19, 2024 03:41 51s corlewis:wp_readme_order
corlewis:wp_readme_order
April 19, 2024 03:41 51s
Improve WP_README's description of rule ordering PR #2525: Pull request #749 opened by corlewis
April 18, 2024 01:11 47s corlewis:wp_readme_order
corlewis:wp_readme_order
April 18, 2024 01:11 47s
Make hoare_seq_ext and hoare_vcg_seqE wp rules PR #2524: Pull request #748 opened by corlewis
April 18, 2024 01:03 50s corlewis:hoare_seq_ext_wp
corlewis:hoare_seq_ext_wp
April 18, 2024 01:03 50s
docs: add cross compilers to Linux dependencies PR #2523: Pull request #745 synchronize by lsf37
April 15, 2024 01:12 57s cross-compiler-setup
cross-compiler-setup
April 15, 2024 01:12 57s
Remove hoare_vcg_precond_imp from wp_comb PR #2522: Pull request #747 synchronize by corlewis
April 13, 2024 01:16 47s corlewis:hoare_vcg_precond_imp_comb
corlewis:hoare_vcg_precond_imp_comb
April 13, 2024 01:16 47s
Minor improvements to CRefine PR #2521: Pull request #699 synchronize by corlewis
April 12, 2024 02:04 2m 40s corlewis:crefine_improvements
corlewis:crefine_improvements
April 12, 2024 02:04 2m 40s
produce _def and _val theorems in value_type PR #2520: Pull request #689 synchronize by lsf37
April 10, 2024 09:28 1m 0s value_type
value_type
April 10, 2024 09:28 1m 0s
Add deletionIsSafe2 assert to deleteObjects PR #2519: Pull request #742 synchronize by michaelmcinerney
April 10, 2024 07:24 48s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
April 10, 2024 07:24 48s
Add deletionIsSafe2 assert to deleteObjects PR #2518: Pull request #742 synchronize by michaelmcinerney
April 10, 2024 07:22 1m 1s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
April 10, 2024 07:22 1m 1s
produce _def and _val theorems in value_type PR #2517: Pull request #689 synchronize by lsf37
April 10, 2024 05:06 1m 21s value_type
value_type
April 10, 2024 05:06 1m 21s
Add deletionIsSafe2 assert to deleteObjects PR #2516: Pull request #742 synchronize by michaelmcinerney
April 10, 2024 02:51 50s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
April 10, 2024 02:51 50s
produce _def and _val theorems in value_type PR #2515: Pull request #689 synchronize by lsf37
April 10, 2024 02:09 47s value_type
value_type
April 10, 2024 02:09 47s
Remove hoare_vcg_precond_imp from wp_comb PR #2514: Pull request #747 synchronize by corlewis
April 9, 2024 07:21 50s corlewis:hoare_vcg_precond_imp_comb
corlewis:hoare_vcg_precond_imp_comb
April 9, 2024 07:21 50s
Minor improvements to CRefine PR #2513: Pull request #699 synchronize by corlewis
April 9, 2024 04:35 53s corlewis:crefine_improvements
corlewis:crefine_improvements
April 9, 2024 04:35 53s