Skip to content

Actions: axel-h/seL4

Actions

Proof Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-enabled PLIC for Ariane Proof Sync #226: Commit 65825d4 pushed by axel-h
November 10, 2024 16:32 4m 42s master
master
November 10, 2024 16:32 4m 42s
mcs: use local variable in postpone Proof Sync #225: Commit c679fe7 pushed by axel-h
July 22, 2024 17:17 8m 30s master
master
July 22, 2024 17:17 8m 30s
hw debug api: aarch64 port Proof Sync #224: Commit 1253115 pushed by axel-h
July 18, 2024 08:02 11m 34s master
master
July 18, 2024 08:02 11m 34s
sel4-deps: tighten deps; update instructions Proof Sync #223: Commit 619a310 pushed by axel-h
July 12, 2024 12:54 5m 30s master
master
July 12, 2024 12:54 5m 30s
configs: add zynqmp and rpi4 to verified platforms Proof Sync #222: Commit 4b7c2a3 pushed by axel-h
July 8, 2024 10:15 8m 0s master
master
July 8, 2024 10:15 8m 0s
Update VERSION file to 13.0.0-dev Proof Sync #221: Commit 7a3ab6b pushed by axel-h
July 4, 2024 09:27 5m 18s master
master
July 4, 2024 09:27 5m 18s
recreate 13.0.0 release state Proof Sync #220: Commit cd6d3b8 pushed by axel-h
July 1, 2024 11:31 5m 11s master
master
July 1, 2024 11:31 5m 11s
Update VERSION file to 13.0.0-dev Proof Sync #219: Commit 94ca590 pushed by axel-h
July 1, 2024 07:52 7m 47s master
master
July 1, 2024 07:52 7m 47s
manual: document useful constants for SC creation Proof Sync #218: Commit a6129c1 pushed by axel-h
July 1, 2024 07:10 5m 24s master
master
July 1, 2024 07:10 5m 24s
arm: add missing seL4_VPPIEvent_Length constants Proof Sync #217: Commit 10bb153 pushed by axel-h
June 28, 2024 13:32 5m 31s master
master
June 28, 2024 13:32 5m 31s
mcs: rewrite guard in preemptionPoint Proof Sync #216: Commit 2648df4 pushed by axel-h
June 20, 2024 13:15 5m 28s master
master
June 20, 2024 13:15 5m 28s
ioapic: set IOAPIC_IRQ_LINES to max allowed Proof Sync #215: Commit 6e9370a pushed by axel-h
June 14, 2024 15:30 5m 44s master
master
June 14, 2024 15:30 5m 44s
mcs: more uniformly handle ready and release queue Proof Sync #214: Commit 686bba4 pushed by axel-h
May 23, 2024 09:32 5m 31s master
master
May 23, 2024 09:32 5m 31s
Remove unused Python imports in scripts Proof Sync #213: Commit 410b464 pushed by axel-h
May 3, 2024 15:23 6m 9s master
master
May 3, 2024 15:23 6m 9s
fix: invisible chars due to ANSI escape codes Proof Sync #212: Commit 0260fba pushed by axel-h
April 29, 2024 08:56 22m 19s master
master
April 29, 2024 08:56 22m 19s
make SMP conditional check more general Proof Sync #211: Commit a584804 pushed by axel-h
April 11, 2024 13:50 5m 38s master
master
April 11, 2024 13:50 5m 38s
cmake: remove obsolete variable Proof Sync #210: Commit f461e0f pushed by axel-h
April 10, 2024 20:19 8m 10s master
master
April 10, 2024 20:19 8m 10s
libsel4: remove obsolete --cfile and --word-size Proof Sync #209: Commit 87112d8 pushed by axel-h
April 9, 2024 20:10 2h 45m 7s master
master
April 9, 2024 20:10 2h 45m 7s
fix type, add missing 'extern' keyword Proof Sync #208: Commit 05d0f06 pushed by axel-h
April 9, 2024 18:58 7m 59s master
master
April 9, 2024 18:58 7m 59s
aarch64: Rename armKSGlobalLogPDE Proof Sync #207: Commit 90bd557 pushed by axel-h
April 9, 2024 10:20 5m 43s master
master
April 9, 2024 10:20 5m 43s
trivial/cmake: fix typo in description Proof Sync #206: Commit daf0afa pushed by axel-h
April 8, 2024 16:10 6m 23s master
master
April 8, 2024 16:10 6m 23s
boot: Fix root cnode size compile-time assert Proof Sync #205: Commit ed5e7c8 pushed by axel-h
April 8, 2024 12:30 5m 29s master
master
April 8, 2024 12:30 5m 29s
Fix macro to access overflow node Proof Sync #204: Commit 21d6998 pushed by axel-h
March 27, 2024 14:40 5m 50s master
master
March 27, 2024 14:40 5m 50s
CI: cancel older concurrent PR runs Proof Sync #203: Commit 4d7cde0 pushed by axel-h
March 26, 2024 20:09 3m 42s master
master
March 26, 2024 20:09 3m 42s
github: add AARCH64 C proof session Proof Sync #202: Commit 4079d4c pushed by axel-h
March 25, 2024 17:44 23m 26s master
master
March 25, 2024 17:44 23m 26s