Skip to content

Actions: CTSRD-CHERI/cheri-c-programming

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Qualify statement on c18n stacks, to match the stack temporal-safety … Build book #77: Commit 06c52dd pushed by rwatson
13s limitations
limitations
13s
limitations: Add cross reference to ptraddr_t. Build book #76: Commit 5ace0e0 pushed by qwattash
11s limitations
limitations
11s
limitations: Extend ongoing research to mention exact sub-object bounds. Build book #75: Commit 5992dd9 pushed by qwattash
13s limitations
limitations
13s
Add CI job to build the PDF version of the document. Build book #74: Commit 6512844 pushed by qwattash
4m 24s xref-filter-fixup
xref-filter-fixup
4m 24s
Add CI job to build the PDF version of the document. Build book #73: Commit 5448bf8 pushed by qwattash
Failure xref-filter-fixup
xref-filter-fixup
Failure
Update latex xref lua filter to handle references to headings #. Build book #72: Commit 51345ab pushed by qwattash
2s xref-filter-fixup
xref-filter-fixup
2s
Fix word-o. Build book #71: Commit a9cb132 pushed by rwatson
11s limitations
limitations
11s
Fix word-o. Build book #70: Commit 1dfd486 pushed by rwatson
11s limitations
limitations
11s
Fix typo. Build book #69: Commit 03e73ed pushed by rwatson
9s limitations
limitations
9s
Remove dup word. Build book #68: Commit a76f530 pushed by rwatson
16s limitations
limitations
16s
Correct word-o. Build book #67: Commit e23cc9c pushed by rwatson
15s limitations
limitations
15s
Correct typo. Build book #66: Commit bb394d8 pushed by rwatson
14s limitations
limitations
14s
Expand on and clarify integer-pointer type confusion. Fix word-o. Build book #65: Commit 44a6cae pushed by rwatson
20s limitations
limitations
20s
Minor wording and phrasing improvements / smoothing. Build book #64: Commit ad256b4 pushed by rwatson
13s limitations
limitations
13s
First cut at a 'limitations' section to the CHERI C/C++ guide. Build book #63: Commit 86ffbb8 pushed by rwatson
14s limitations
limitations
14s
pages build and deployment pages-build-deployment #35: by github-pages bot
27s gh-pages
gh-pages
27s
Give tagging its own subheading rather than combining with bounds. Build book #62: Commit 5cafe41 pushed by rwatson
19s master
master
19s
pages build and deployment pages-build-deployment #34: by github-pages bot
41s gh-pages
gh-pages
41s
Update the acks in the top-level README since it appears that this ve… Build book #61: Commit 85fa530 pushed by swm11
49s master
master
49s
pages build and deployment pages-build-deployment #33: by github-pages bot
30s gh-pages
gh-pages
30s
Improve spelling of EPSRC. The non-atomicity of this ACK is surprising. Build book #60: Commit bc667b0 pushed by rwatson
28s master
master
28s
pages build and deployment pages-build-deployment #32: by github-pages bot
50s gh-pages
gh-pages
50s
Improve EPSRC acknowledgement more generally. Build book #59: Commit 95a2c13 pushed by rwatson
33s master
master
33s
pages build and deployment pages-build-deployment #31: by github-pages bot
56s gh-pages
gh-pages
56s
ACK CHERI reserch centre. Build book #58: Commit 2b045f2 pushed by rwatson
32s master
master
32s