Skip to content

Actions: CHERIoT-Platform/cheriot-sail

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use the sail container for builds (hopefully faster)! CI #199: Pull request #62 synchronize by davidchisnall
July 16, 2024 15:36 1m 2s smaller-ci
smaller-ci
July 16, 2024 15:36 1m 2s
Use the sail container for builds (hopefully faster)! CI #198: Pull request #62 synchronize by davidchisnall
July 16, 2024 15:36 1s smaller-ci
smaller-ci
July 16, 2024 15:36 1s
Use the sail container for builds (hopefully faster)! CI #197: Pull request #62 synchronize by davidchisnall
July 16, 2024 15:35 Startup failure smaller-ci
smaller-ci
July 16, 2024 15:35 Startup failure
Use the sail container for builds (hopefully faster)! CI #196: Pull request #62 opened by davidchisnall
July 16, 2024 14:13 1m 2s smaller-ci
smaller-ci
July 16, 2024 14:13 1m 2s
Update README.md CI #195: Pull request #61 synchronize by rmn30
July 16, 2024 13:39 9m 57s rmn30-readme-update
rmn30-readme-update
July 16, 2024 13:39 9m 57s
Update README.md CI #194: Pull request #61 opened by rmn30
July 16, 2024 11:56 9m 47s rmn30-readme-update
rmn30-readme-update
July 16, 2024 11:56 9m 47s
GH pages fix CI #193: Commit c2d298f pushed by nwf-msr
July 15, 2024 16:07 11m 44s main
main
July 15, 2024 16:07 11m 44s
GH pages fix CI #192: Pull request #60 opened by nwf-msr
July 15, 2024 16:04 4m 47s nwf-msr:202407-pdf-ghpages
nwf-msr:202407-pdf-ghpages
July 15, 2024 16:04 4m 47s
Publish built PDF to GitHub Pages CI #191: Commit 7865aa7 pushed by davidchisnall
July 15, 2024 15:47 10m 10s main
main
July 15, 2024 15:47 10m 10s
Publish built PDF to GitHub Pages CI #190: Pull request #59 synchronize by nwf-msr
July 15, 2024 15:15 9m 50s nwf-msr:202407-pdf-ghpages
nwf-msr:202407-pdf-ghpages
July 15, 2024 15:15 9m 50s
Publish built PDF to GitHub Pages CI #189: Pull request #59 synchronize by nwf-msr
July 15, 2024 14:53 10m 8s nwf-msr:202407-pdf-ghpages
nwf-msr:202407-pdf-ghpages
July 15, 2024 14:53 10m 8s
Publish built PDF to GitHub Pages CI #188: Pull request #59 synchronize by nwf-msr
July 15, 2024 14:33 9m 51s nwf-msr:202407-pdf-ghpages
nwf-msr:202407-pdf-ghpages
July 15, 2024 14:33 9m 51s
Publish built PDF to GitHub Pages CI #187: Pull request #59 opened by nwf-msr
July 15, 2024 14:21 10m 9s nwf-msr:202407-pdf-ghpages
nwf-msr:202407-pdf-ghpages
July 15, 2024 14:21 10m 9s
Adding RISC-V Vector support for CHERIoT CI #186: Pull request #58 synchronize by vmurali
July 11, 2024 15:46 15m 23s vmurali:main
vmurali:main
July 11, 2024 15:46 15m 23s
This avoids a deprecations warning from Sail CI #184: Commit 09ef3a7 pushed by rmn30
July 2, 2024 13:36 8m 45s main
main
July 2, 2024 13:36 8m 45s
This avoids a deprecations warning from Sail CI #183: Pull request #57 opened by marnovandermaas
July 2, 2024 10:58 9m 20s marnovandermaas:effect-deprecate-remove
marnovandermaas:effect-deprecate-remove
July 2, 2024 10:58 9m 20s
Revert unintended update to sail-riscv submodule. CI #182: Commit ef8cfbc pushed by rmn30
June 24, 2024 11:57 9m 11s main
main
June 24, 2024 11:57 9m 11s
Fix error in string_of_capreg_idx. CI #181: Commit 9829a91 pushed by rmn30
June 24, 2024 10:34 8m 40s main
main
June 24, 2024 10:34 8m 40s
Use multiple threads for LTS as per upstream PR https://github.com/ri… CI #180: Commit bbf90ec pushed by rmn30
June 14, 2024 12:51 8m 49s fltoauto
fltoauto
June 14, 2024 12:51 8m 49s
Use multiple threads for LTS as per upstream PR https://github.com/ri… CI #179: Commit bbf90ec pushed by rmn30
June 14, 2024 12:50 9m 7s main
main
June 14, 2024 12:50 9m 7s
Add SMT property used to validate https://github.com/microsoft/cherio… CI #178: Commit c314c45 pushed by rmn30
June 14, 2024 10:59 8m 34s token_alloc_prop
token_alloc_prop
June 14, 2024 10:59 8m 34s
rearranged table CI #177: Commit 44af2f5 pushed by davidchisnall
May 25, 2024 07:16 8m 42s main
main
May 25, 2024 07:16 8m 42s
Create backward sentries for function returns and add more checks in cjalr CI #176: Pull request #54 synchronize by vmurali
May 22, 2024 20:56 8m 46s vmurali:strict_cjalr
vmurali:strict_cjalr
May 22, 2024 20:56 8m 46s
Create backward sentries for function returns and add more checks in cjalr CI #174: Pull request #54 synchronize by vmurali
May 22, 2024 19:40 9m 22s vmurali:strict_cjalr
vmurali:strict_cjalr
May 22, 2024 19:40 9m 22s
Create backward sentries for function returns and add more checks in cjalr CI #173: Pull request #54 synchronize by vmurali
May 22, 2024 02:04 8m 51s vmurali:strict_cjalr
vmurali:strict_cjalr
May 22, 2024 02:04 8m 51s