Skip to content

Actions: seL4/l4v

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-deploy.yml
414 workflow runs
414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manifest-update Proofs #1062: Repository dispatch triggered by seL4-ci
February 25, 2025 03:19 2h 55m 30s
February 25, 2025 03:19 2h 55m 30s
rt riscv refine: add sym_refs_asrt_def to global [simp] set Proofs #1061: Commit 443a311 pushed by michaelmcinerney
February 25, 2025 02:25 2h 27m 36s rt
rt
February 25, 2025 02:25 2h 27m 36s
manifest-update Proofs #1060: Repository dispatch triggered by seL4-ci
February 24, 2025 23:57 2h 7m 50s
February 24, 2025 23:57 2h 7m 50s
manifest-update Proofs #1059: Repository dispatch triggered by seL4-ci
February 21, 2025 07:41 18m 46s
February 21, 2025 07:41 18m 46s
rt spec+proof: prove refill_budget_check_ccorres Proofs #1058: Commit b069f59 pushed by michaelmcinerney
February 19, 2025 03:13 2h 42m 37s rt
rt
February 19, 2025 03:13 2h 42m 37s
github: add imx8mm workflow for branch push Proofs #1057: Commit 8695fa1 pushed by seL4-ci
February 19, 2025 00:07 1h 48m 14s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
February 19, 2025 00:07 1h 48m 14s
refine+crefine: remove valid_arch_mdb_ctes Proofs #1056: Commit 023eee3 pushed by lsf37
February 19, 2025 00:07 2h 18m 15s master
master
February 19, 2025 00:07 2h 18m 15s
github: add imx8mm workflow for branch push Proofs #1055: Commit 1ca2f5d pushed by lsf37
February 18, 2025 21:00 1h 44m 19s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
February 18, 2025 21:00 1h 44m 19s
github: add imx8mm workflow for branch push Proofs #1054: Commit 3a3c855 pushed by lsf37
February 18, 2025 01:30 1h 57m 14s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
February 18, 2025 01:30 1h 57m 14s
manifest-update Proofs #1053: Repository dispatch triggered by seL4-ci
February 18, 2025 00:11 2h 47m 54s
February 18, 2025 00:11 2h 47m 54s
manifest-update Proofs #1052: Repository dispatch triggered by seL4-ci
February 17, 2025 22:24 1h 47m 10s
February 17, 2025 22:24 1h 47m 10s
ainvs: refactor arch_thread_get/set lemmas Proofs #1051: Commit fc16808 pushed by corlewis
February 17, 2025 04:50 2h 23m 7s master
master
February 17, 2025 04:50 2h 23m 7s
refine: add arch-specific arch_valid_irq Proofs #1050: Commit e2248ca pushed by Xaphiosis
February 17, 2025 01:16 2h 17m 13s master
master
February 17, 2025 01:16 2h 17m 13s
Proofs Proofs #1049: Manually run by lsf37
February 13, 2025 09:22 2h 38m 35s rt
rt
February 13, 2025 09:22 2h 38m 35s
rt spec+proof: improve reasoning for linked lists Proofs #1048: Commit 035535f pushed by michaelmcinerney
February 13, 2025 00:19 2h 18m 14s rt
rt
February 13, 2025 00:19 2h 18m 14s
manifest-update Proofs #1047: Repository dispatch triggered by seL4-ci
February 12, 2025 11:03 18m 5s
February 12, 2025 11:03 18m 5s
github: add imx8mm workflow for branch push Proofs #1046: Commit 10bbce6 pushed by seL4-ci
February 11, 2025 23:52 1h 42m 25s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
February 11, 2025 23:52 1h 42m 25s
lib: add heap_path_not_Nil to Heap_List Proofs #1045: Commit 36ff415 pushed by lsf37
February 11, 2025 23:52 1h 59m 7s master
master
February 11, 2025 23:52 1h 59m 7s
manifest-update Proofs #1044: Repository dispatch triggered by seL4-ci
February 10, 2025 22:10 18m 0s
February 10, 2025 22:10 18m 0s
github: add imx8mm workflow for branch push Proofs #1043: Commit 22250fb pushed by seL4-ci
February 10, 2025 13:19 2h 2m 31s imx8-fpu-ver-rebased
imx8-fpu-ver-rebased
February 10, 2025 13:19 2h 2m 31s
crefine: lemmas for simplifying masking and thread states Proofs #1042: Commit 0cba8a6 pushed by michaelmcinerney
February 10, 2025 13:18 1h 23m 11s master
master
February 10, 2025 13:18 1h 23m 11s
Proofs Proofs #1041: Manually run by lsf37
February 10, 2025 04:59 2h 40m 34s rt
rt
February 10, 2025 04:59 2h 40m 34s
manifest-update Proofs #1040: Repository dispatch triggered by seL4-ci
February 10, 2025 04:56 3h 12m 10s
February 10, 2025 04:56 3h 12m 10s
manifest-update Proofs #1039: Repository dispatch triggered by seL4-ci
February 10, 2025 01:51 3h 5m 38s
February 10, 2025 01:51 3h 5m 38s
manifest-update Proofs #1038: Repository dispatch triggered by seL4-ci
February 10, 2025 00:20 18m 58s
February 10, 2025 00:20 18m 58s