Skip to content

Actions: seL4/l4v

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,192 workflow run results
1,192 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Yet more rules for Lib Proof PR #2779: Pull request #737 synchronize by michaelmcinerney
March 19, 2024 13:48 3h 58m 44s
March 19, 2024 13:48 3h 58m 44s
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 PR #2467: Pull request #738 synchronize by corlewis
March 19, 2024 09:25 1m 15s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:25 1m 15s
Enlarge the prefix_refinement rule set Proof PR #2778: Pull request #738 synchronize by corlewis
March 19, 2024 09:25 3h 35m 58s
March 19, 2024 09:25 3h 35m 58s
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
Enlarge the prefix_refinement rule set PR #2466: Pull request #738 synchronize by corlewis
March 19, 2024 09:19 1m 15s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:19 1m 15s
Enlarge the prefix_refinement rule set Proof PR #2777: Pull request #738 synchronize by corlewis
March 19, 2024 09:19 6m 52s
March 19, 2024 09:19 6m 52s
Enlarge the prefix_refinement rule set PR #2465: Pull request #738 synchronize by corlewis
March 19, 2024 09:09 54s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:09 54s
Enlarge the prefix_refinement rule set Proof PR #2776: Pull request #738 synchronize by corlewis
March 19, 2024 09:09 9m 49s
March 19, 2024 09:09 9m 49s
Enlarge the prefix_refinement rule set CI #2926: Pull request #738 synchronize by corlewis
March 19, 2024 09:09 27s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:09 27s
Enlarge the prefix_refinement rule set CI #2925: Pull request #738 opened by corlewis
March 19, 2024 09:06 34s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:06 34s
Enlarge the prefix_refinement rule set PR #2464: Pull request #738 opened by corlewis
March 19, 2024 09:06 53s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:06 53s
Enlarge the prefix_refinement rule set Proof PR #2775: Pull request #738 opened by corlewis
March 19, 2024 09:06 3m 51s
March 19, 2024 09:06 3m 51s
Yet more rules for Lib CI #2924: Pull request #737 opened by michaelmcinerney
March 19, 2024 08:28 31s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 19, 2024 08:28 31s
Yet more rules for Lib PR #2463: Pull request #737 opened by michaelmcinerney
March 19, 2024 08:28 59s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 19, 2024 08:28 59s
Yet more rules for Lib Proof PR #2774: Pull request #737 opened by michaelmcinerney
March 19, 2024 08:28 4h 14m 32s
March 19, 2024 08:28 4h 14m 32s
manifest-update Proofs #759: Repository dispatch triggered by seL4-ci
March 18, 2024 10:07 3h 40m 40s
March 18, 2024 10:07 3h 40m 40s
word_lib+crefine: move lemmas to Word_Lib PR #2462: Pull request #736 synchronize by lsf37
March 17, 2024 09:51 1m 54s aarch64-word-move
aarch64-word-move
March 17, 2024 09:51 1m 54s
word_lib+crefine: move lemmas to Word_Lib CI #2923: Pull request #736 synchronize by lsf37
March 17, 2024 09:51 1m 27s aarch64-word-move
aarch64-word-move
March 17, 2024 09:51 1m 27s
word_lib+crefine: move lemmas to Word_Lib Proof PR #2773: Pull request #736 synchronize by lsf37
March 17, 2024 09:51 1h 33m 55s
March 17, 2024 09:51 1h 33m 55s
word_lib+crefine: move lemmas to Word_Lib CI #2922: Pull request #736 synchronize by lsf37
March 16, 2024 20:53 21s aarch64-word-move
aarch64-word-move
March 16, 2024 20:53 21s
word_lib+crefine: move lemmas to Word_Lib PR #2461: Pull request #736 synchronize by lsf37
March 16, 2024 20:53 37s aarch64-word-move
aarch64-word-move
March 16, 2024 20:53 37s
word_lib+crefine: move lemmas to Word_Lib Proof PR #2772: Pull request #736 synchronize by lsf37
March 16, 2024 20:53 3h 43m 56s
March 16, 2024 20:53 3h 43m 56s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs CI #2921: Pull request #735 synchronize by lsf37
March 16, 2024 20:53 27s aarch64-cleanup
aarch64-cleanup
March 16, 2024 20:53 27s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs PR #2460: Pull request #735 synchronize by lsf37
March 16, 2024 20:53 1m 12s aarch64-cleanup
aarch64-cleanup
March 16, 2024 20:53 1m 12s