Skip to content

Actions: seL4/l4v

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
338 workflow run results
338 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aarch64 crefine: resolve most FIXME move tags CI #2951: Commit c33b569 pushed by lsf37
March 25, 2024 19:46 25s master
master
March 25, 2024 19:46 25s
word_lib+crefine: move AARCH64 lemmas to Word_Lib CI #2950: Commit a5baa09 pushed by lsf37
March 25, 2024 19:45 26s master
master
March 25, 2024 19:45 26s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs CI #2949: Commit 2cb76af pushed by lsf37
March 25, 2024 19:44 29s master
master
March 25, 2024 19:44 29s
aarch64: resolve most FIXME move tags CI #2948: Pull request #740 synchronize by lsf37
March 25, 2024 14:04 26s aarch64-fixme-move
aarch64-fixme-move
March 25, 2024 14:04 26s
word_lib+crefine: move lemmas to Word_Lib CI #2947: Pull request #736 synchronize by lsf37
March 25, 2024 14:01 28s aarch64-word-move
aarch64-word-move
March 25, 2024 14:01 28s
word_lib+crefine: move lemmas to Word_Lib CI #2946: Pull request #736 synchronize by lsf37
March 25, 2024 14:00 21s aarch64-word-move
aarch64-word-move
March 25, 2024 14:00 21s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs CI #2945: Pull request #735 synchronize by lsf37
March 25, 2024 13:57 30s aarch64-cleanup
aarch64-cleanup
March 25, 2024 13:57 30s
docs: add debugging tips for vcg goals CI #2944: Pull request #741 synchronize by lsf37
March 25, 2024 13:14 24s vcg-debugging
vcg-debugging
March 25, 2024 13:14 24s
docs: add debugging tips for vcg goals CI #2943: Pull request #741 opened by lsf37
March 25, 2024 13:06 26s vcg-debugging
vcg-debugging
March 25, 2024 13:06 26s
proof: remove AArch64 quick_and_dirty CRefine CI #2942: Commit 12c9e19 pushed by lsf37
March 25, 2024 12:36 28s master
master
March 25, 2024 12:36 28s
AArch64 fastpath proofs CI #2941: Pull request #739 synchronize by Xaphiosis
March 25, 2024 09:16 25s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 09:16 25s
AArch64 fastpath proofs CI #2940: Pull request #739 synchronize by Xaphiosis
March 25, 2024 09:02 33s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 09:02 33s
AArch64 fastpath proofs CI #2939: Pull request #739 synchronize by Xaphiosis
March 25, 2024 08:16 28s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 08:16 28s
Improve wp_pre tracing CI #2938: Pull request #731 synchronize by corlewis
March 25, 2024 06:45 27s corlewis:wp_pre_tracing
corlewis:wp_pre_tracing
March 25, 2024 06:45 27s
Enlarge the prefix_refinement rule set CI #2937: Pull request #738 synchronize by corlewis
March 25, 2024 05:45 26s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 25, 2024 05:45 26s
AArch64 fastpath proofs CI #2936: Pull request #739 synchronize by Xaphiosis
March 25, 2024 01:07 27s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 01:07 27s
aarch64: resolve most FIXME move tags CI #2935: Pull request #740 opened by lsf37
March 24, 2024 16:46 24s aarch64-fixme-move
aarch64-fixme-move
March 24, 2024 16:46 24s
Enlarge the prefix_refinement rule set CI #2934: Pull request #738 synchronize by corlewis
March 22, 2024 05:03 32s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 22, 2024 05:03 32s
AArch64 fastpath proofs CI #2933: Pull request #739 synchronize by Xaphiosis
March 21, 2024 04:04 29s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 21, 2024 04:04 29s
AArch64 fastpath proofs CI #2932: Pull request #739 opened by Xaphiosis
March 21, 2024 02:03 25s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 21, 2024 02:03 25s
Enlarge the prefix_refinement rule set CI #2931: Pull request #738 synchronize by corlewis
March 19, 2024 21:55 25s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 21:55 25s
Enlarge the trace monad rule set for RG logic CI #2930: Pull request #721 synchronize by corlewis
March 19, 2024 21:55 25s corlewis:trace_more_rg
corlewis:trace_more_rg
March 19, 2024 21:55 25s
Yet more rules for Lib CI #2929: Pull request #737 synchronize by michaelmcinerney
March 19, 2024 13:48 29s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 19, 2024 13:48 29s
Enlarge the prefix_refinement rule set CI #2928: Pull request #738 synchronize by corlewis
March 19, 2024 09:25 26s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:25 26s
Enlarge the prefix_refinement rule set CI #2927: Pull request #738 synchronize by corlewis
March 19, 2024 09:19 29s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:19 29s