Skip to content

Actions: microsoft/CCF

Actions

Doc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finding the right package for ruby gem/gems (#6524) Doc #91: Commit d00e762 pushed by achamayou
October 4, 2024 13:16 5m 21s main
main
October 4, 2024 13:16 5m 21s
Fix gem install (#6523) Doc #90: Commit ff514ce pushed by achamayou
October 4, 2024 13:01 4m 58s main
main
October 4, 2024 13:01 4m 58s
Install gem in dev image (#6522) Doc #89: Commit 62499b2 pushed by achamayou
October 4, 2024 12:47 5m 29s main
main
October 4, 2024 12:47 5m 29s
Install cddl gem in dev image (#6521) Doc #88: Commit 6c380e2 pushed by github-merge-queue bot
October 4, 2024 12:14 5m 0s main
main
October 4, 2024 12:14 5m 0s
Remove StatsFile.tla (#6519) Doc #87: Commit c71b7ce pushed by github-merge-queue bot
October 3, 2024 09:58 5m 14s main
main
October 3, 2024 09:58 5m 14s
End to end test for CBOR proof (#6499) Doc #86: Commit fa850a6 pushed by github-merge-queue bot
October 2, 2024 20:42 5m 4s main
main
October 2, 2024 20:42 5m 4s
Remove writing state-space statistics after the demise of cimetrics. … Doc #85: Commit e0a9ea3 pushed by github-merge-queue bot
October 2, 2024 17:28 5m 16s main
main
October 2, 2024 17:28 5m 16s
Check refinement of high-level spec abs with all models (#6509) Doc #84: Commit 76b2dcf pushed by github-merge-queue bot
October 2, 2024 15:53 5m 25s main
main
October 2, 2024 15:53 5m 25s
Assert (postcondition) that all "debug invariants" equal true in at l… Doc #83: Commit 0ab6408 pushed by github-merge-queue bot
October 2, 2024 13:56 5m 18s main
main
October 2, 2024 13:56 5m 18s
Iteration on TLC wrapper script (#6513) Doc #82: Commit 50ffc62 pushed by github-merge-queue bot
October 2, 2024 11:43 5m 4s main
main
October 2, 2024 11:43 5m 4s
Fix historical TX requests for previous epochs during recovery (#6507) Doc #81: Commit e6f00b7 pushed by github-merge-queue bot
October 2, 2024 09:26 4m 54s main
main
October 2, 2024 09:26 4m 54s
Format Python under tla/ (#6515) Doc #80: Commit df6d004 pushed by achamayou
October 1, 2024 14:39 5m 6s main
main
October 1, 2024 14:39 5m 6s
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app (#6514) Doc #79: Commit 0182242 pushed by github-merge-queue bot
October 1, 2024 07:58 5m 12s main
main
October 1, 2024 07:58 5m 12s
Split Verification Jobs (#6512) Doc #78: Commit a032ae0 pushed by github-merge-queue bot
September 30, 2024 12:03 4m 57s main
main
September 30, 2024 12:03 4m 57s
Minimize number of TLC configuration files. (#6511) Doc #77: Commit 2069c68 pushed by achamayou
September 30, 2024 08:35 5m 24s main
main
September 30, 2024 08:35 5m 24s
Nuke obsolete QUIC doc page (#6506) Doc #76: Commit 728a5bd pushed by github-merge-queue bot
September 27, 2024 14:19 5m 4s main
main
September 27, 2024 14:19 5m 4s
Refactor abstract consensus specification (#6475) Doc #75: Commit 6fb0b5f pushed by lemmy
September 27, 2024 00:50 4m 54s main
main
September 27, 2024 00:50 4m 54s
Add 2-Node consensus MC (#6504) Doc #74: Commit f798800 pushed by achamayou
September 26, 2024 20:47 4m 56s main
main
September 26, 2024 20:47 4m 56s
Revert https://github.com/microsoft/CCF/pull/5939 (#6501) Doc #73: Commit 5e615a9 pushed by achamayou
September 26, 2024 12:00 5m 17s main
main
September 26, 2024 12:00 5m 17s
Add long LTS to long tests (#6497) Doc #72: Commit e213df0 pushed by achamayou
September 24, 2024 11:01 4m 52s main
main
September 24, 2024 11:01 4m 52s
Only the KV-defined set of UVM roots of trust should be used to accep… Doc #71: Commit 4b16707 pushed by github-merge-queue bot
September 23, 2024 19:35 5m 9s main
main
September 23, 2024 19:35 5m 9s
upload-artifact Github action fails because of non-unique artifact … Doc #70: Commit 3fb252b pushed by github-merge-queue bot
September 23, 2024 07:48 4m 46s main
main
September 23, 2024 07:48 4m 46s
Remove SGX target from release job(s) (#6492) Doc #69: Commit 1fb9dc4 pushed by achamayou
September 20, 2024 14:50 4m 55s main
main
September 20, 2024 14:50 4m 55s
Update CONTRIBUTING.md with current workflows (#6488) Doc #68: Commit b39fa24 pushed by github-merge-queue bot
September 20, 2024 14:08 5m 1s main
main
September 20, 2024 14:08 5m 1s
Enable 6.x releases (#6491) Doc #67: Commit 3cf06af pushed by achamayou
September 20, 2024 13:36 5m 17s main
main
September 20, 2024 13:36 5m 17s