8000 Proof Sync · Workflow runs · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: seL4/seL4

Actions

Proof Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
preprocess-deploy.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github: main l4v now on Isabelle2025 Proof Sync #550: Commit dec87e6 pushed by Indanz
June 13, 2025 10:29 2m 1s master
master
June 13, 2025 10:29 2m 1s
mcs: refactor doReplyTransfer and setMRs_fault Proof Sync #549: Commit 2417e0f pushed by lsf37
June 13, 2025 05:01 1m 20s master
master
June 13, 2025 05:01 1m 20s
cleanup: use rootSlot to give a name to excapref0 Proof Sync #548: Commit 1209512 pushed by lsf37
June 10, 2025 08:39 1m 31s master
master
June 10, 2025 08:39 1m 31s
github: point proof tests to Isabelle ts-2024 Proof Sync #547: Commit ab5192f pushed by Indanz
June 7, 2025 08:55 2m 17s master
master
June 7, 2025 08:55 2m 17s
mcs: fix error handling for SetTimeoutEndpoint Proof Sync #546: Commit ad32c27 pushed by lsf37
June 4, 2025 15:58 1m 59s master
master
June 4, 2025 15:58 1m 59s
TCB_SetSchedParams: Simplify bind/unbind check Proof Sync #545: Commit 4ec62c8 pushed by lsf37
June 4, 2025 15:34 8m 29s master
master
June 4, 2025 15:34 8m 29s
remove unnecessary cast Proof Sync #544: Commit 2ad02a0 pushed by lsf37
June 4, 2025 13:54 2m 9s master
master
June 4, 2025 13:54 2m 9s
Detect 'aarch64-elf-' toolchain Proof Sync #543: Commit b7d67a9 pushed by lsf37
May 26, 2025 04:01 2m 15s master
master
May 26, 2025 04:01 2m 15s
Fix QEMU regex to work for version 10 (#1463) Proof Sync #542: Commit 5e6f7c2 pushed by wom-bat
May 23, 2025 01:04 2m 7s master
master
May 23, 2025 01:04 2m 7s
Fix minimum CMake version in eswin config Proof Sync #541: Commit be8e649 pushed by kent-mcleod
May 22, 2025 23:34 3m 1s master
master
May 22, 2025 23:34 3m 1s
  • < 10000 a href="/seL4/seL4/actions/runs/15198866283/workflow" class="dropdown-item btn-link" > View workflow file
cleanup: remove obselete pageType and asidMax Proof Sync #540: Commit 349745c pushed by Indanz
May 2, 2025 11:39 3m 1s master
master
May 2, 2025 11:39 3m 1s
Update links after seL4 website re-org Proof Sync #539: Commit c03cad0 pushed by lsf37
April 29, 2025 07:17 2m 2s master
master
April 29, 2025 07:17 2m 2s
CMake: Use output file diffing from config_gen.py Proof Sync #538: Commit 6a74aba pushed by lsf37
April 27, 2025 01:33 2m 8s master
master
April 27, 2025 01:33 2m 8s
README: remove outdated pages Proof Sync #537: Commit 1acde06 pushed by lsf37
April 27, 2025 00:57 2m 11s master
master
April 27, 2025 00:57 2m 11s
treewide: typo fixes Proof Sync #536: Commit eca86cf pushed by lsf37
April 14, 2025 02:05 2m 0s master
master
April 14, 2025 02:05 2m 0s
mcs: refactor reply functions to ease verification Proof Sync #535: Commit fd14374 pushed by lsf37
April 4, 2025 04:21 1m 14s master
master
April 4, 2025 04:21 1m 14s
Add support for SiFive Premier P550 platform Proof Sync #534: Commit 58f0e87 pushed by lsf37
April 2, 2025 02:51 3m 10s master
master
April 2, 2025 02:51 3m 10s
github: deploy mcs verification manifest Proof Sync #533: Commit 38e889d pushed by lsf37
April 1, 2025 21:58 2m 41s master
master
April 1, 2025 21:58 2m 41s
configs: mark Ultra96v2 as supported by the proofs Proof Sync #532: Commit 29803c5 pushed by lsf37
March 31, 2025 22:57 2m 34s master
master
March 31, 2025 22:57 2m 34s
utils: wrap config_set for verification Proof Sync #531: Commit 6d8b1ea pushed by lsf37
March 27, 2025 23:53 1m 55s master
master
March 27, 2025 23:53 1m 55s
Add missing userError for VSpace invocation Proof Sync #530: Commit f7b95a9 pushed by lsf37
March 27, 2025 05:28 2m 7s master
master
March 27, 2025 05:28 2m 7s
mcs: small changes to ease verification Proof Sync #529: Commit 019e4b6 pushed by lsf37
March 21, 2025 05:48 2m 3s master
master
March 21, 2025 05:48 2m 3s
mcs: rephrase invokeSchedControl_ConfigureFlags Proof Sync #528: Commit 52725dd pushed by lsf37
March 19, 2025 06:26 1m 57s master
master
March 19, 2025 06:26 1m 57s
aarch32/vcpu: save and restore CNTKCTL Proof Sync #527: Commit 9fe04a2 pushed by lsf37
March 17, 2025 23:55 1m 30s master
master
March 17, 2025 23:55 1m 30s
tools: fix kernel physBase alignment on AArch64 Proof Sync #526: Commit 53ed1be pushed by lsf37
March 13, 2025 08:01 1m 59s master
master
March 13, 2025 08:01 1m 59s
0