Skip to content

Actions: microsoft/CCF

Actions

Doc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
113 workflow run results
113 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

COSE endorsements shall include previous epoch root (#6555) Doc #113: Commit 0292e12 pushed by github-merge-queue bot
October 11, 2024 15:48 5m 35s main
main
October 11, 2024 15:48 5m 35s
Release job should upload test logs on failure (#6557) Doc #112: Commit 5f78120 pushed by github-merge-queue bot
October 10, 2024 20:53 5m 11s main
main
October 10, 2024 20:53 5m 11s
Labelled jobs were skipped on schedule triggers (#6556) Doc #111: Commit ef1b7c7 pushed by github-merge-queue bot
October 10, 2024 20:47 5m 20s main
main
October 10, 2024 20:47 5m 20s
Libstdc++ compatibility (#6552) Doc #109: Commit 79c6681 pushed by github-merge-queue bot
October 9, 2024 21:33 5m 19s main
main
October 9, 2024 21:33 5m 19s
Upgrade fmtlib from 10.2.1 to 11.0.2 (#6551) Doc #110: Commit 6416770 pushed by github-merge-queue bot
October 9, 2024 21:33 5m 2s main
main
October 9, 2024 21:33 5m 2s
COSE back-endorsements for previous service identities (#6510) Doc #108: Commit b4ceb70 pushed by github-merge-queue bot
October 9, 2024 12:21 5m 13s main
main
October 9, 2024 12:21 5m 13s
Check high-level liveness properties in simulation mode (#6545) Doc #107: Commit b96daa8 pushed by github-merge-queue bot
October 9, 2024 12:16 4m 58s main
main
October 9, 2024 12:16 4m 58s
Strengthen various *TypeInvs by defining every function's domain. (#6… Doc #106: Commit d7cf62f pushed by github-merge-queue bot
October 9, 2024 11:50 5m 5s main
main
October 9, 2024 11:50 5m 5s
Remove setuptools_scm and set version in pyproject.toml (#6550) Doc #105: Commit d61931a pushed by achamayou
October 9, 2024 10:54 4m 58s main
main
October 9, 2024 10:54 4m 58s
Release notes for 6.0.0-dev1 (#6542) Doc #104: Commit c70e2be pushed by achamayou
October 8, 2024 13:04 5m 30s main
main
October 8, 2024 13:04 5m 30s
Correct and enforce schema on CBOR proofs (#6520) Doc #103: Commit 0b466fd pushed by github-merge-queue bot
October 8, 2024 12:52 5m 5s main
main
October 8, 2024 12:52 5m 5s
Allow manual trigger of long test on branches (#6541) Doc #102: Commit 8428954 pushed by github-merge-queue bot
October 8, 2024 12:46 5m 1s main
main
October 8, 2024 12:46 5m 1s
Allow manual runs of long verification (#6536) Doc #101: Commit 521f80a pushed by achamayou
October 8, 2024 10:33 5m 5s main
main
October 8, 2024 10:33 5m 5s
Upgrade to build-08-10-2024 (#6540) Doc #100: Commit 0bcb487 pushed by achamayou
October 8, 2024 10:31 4m 57s main
main
October 8, 2024 10:31 4m 57s
Global gem install (#6539) Doc #99: Commit 8398a6b pushed by achamayou
October 8, 2024 08:42 4m 57s main
main
October 8, 2024 08:42 4m 57s
Update CI image to build-07-10-2024-2 (#6534) Doc #98: Commit 2e43bf4 pushed by achamayou
October 7, 2024 22:09 4m 57s main
main
October 7, 2024 22:09 4m 57s
Limiting the terms reached by ProposeVote (#6535) Doc #97: Commit 9e7fb2d pushed by github-merge-queue bot
October 7, 2024 21:37 4m 54s main
main
October 7, 2024 21:37 4m 54s
Shorten MC run in CI verification to fit in CI timescale (#6531) Doc #96: Commit 261602d pushed by github-merge-queue bot
October 7, 2024 19:55 5m 1s main
main
October 7, 2024 19:55 5m 1s
Remove redefinitions of Terms in refinement mapping. (#6533) Doc #95: Commit 2d4f690 pushed by github-merge-queue bot
October 7, 2024 15:41 5m 7s main
main
October 7, 2024 15:41 5m 7s
Update devcontainer.json to enable cdot by default (#6530) Doc #94: Commit 874c3d4 pushed by achamayou
October 7, 2024 12:00 5m 35s main
main
October 7, 2024 12:00 5m 35s
Upgrade CI image from 25-07-2024 to 07-10-2024 (#6528) Doc #93: Commit afd37ec pushed by achamayou
October 7, 2024 11:59 5m 14s main
main
October 7, 2024 11:59 5m 14s
Remove SGX base image building (#6525) Doc #92: Commit 81943ea pushed by achamayou
October 4, 2024 14:02 4m 57s main
main
October 4, 2024 14:02 4m 57s
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