Skip to content

Actions: microsoft/CCF

Backport PR to LTS release branch(es)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
990 workflow run results
990 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix memory corruption for COSE headers construction
Backport PR to LTS release branch(es) #3040: Pull request #6564 labeled by maxtropets
October 12, 2024 12:22 2s
October 12, 2024 12:22 2s
COSE endorsements shall include previous epoch root
Backport PR to LTS release branch(es) #3039: Pull request #6555 closed by maxtropets
October 11, 2024 15:49 2s
October 11, 2024 15:49 2s
COSE endorsements shall include previous epoch root
Backport PR to LTS release branch(es) #3038: Pull request #6555 labeled by maxtropets
October 11, 2024 15:09 2s
October 11, 2024 15:09 2s
Release job should upload test logs on failure
Backport PR to LTS release branch(es) #3037: Pull request #6557 closed by achamayou
October 10, 2024 20:53 2s
October 10, 2024 20:53 2s
Labelled jobs were skipped on schedule triggers
Backport PR to LTS release branch(es) #3036: Pull request #6556 closed by achamayou
October 10, 2024 20:47 2s
October 10, 2024 20:47 2s
Adjust the probabilities based on empirical data to achieve less uneven coverage of the action space during simulation
Backport PR to LTS release branch(es) #3035: Pull request #6562 labeled by lemmy
October 10, 2024 14:12 3s
October 10, 2024 14:12 3s
Libstdc++ compatibility
Backport PR to LTS release branch(es) #3033: Pull request #6552 closed by achamayou
October 9, 2024 21:33 2s
October 9, 2024 21:33 2s
Upgrade fmtlib from 10.2.1 to 11.0.2
Backport PR to LTS release branch(es) #3034: Pull request #6551 closed by achamayou
October 9, 2024 21:33 2s
October 9, 2024 21:33 2s
COSE back-endorsements for previous service identities
Backport PR to LTS release branch(es) #3032: Pull request #6510 closed by maxtropets
October 9, 2024 12:21 2s
October 9, 2024 12:21 2s
Check high-level liveness properties in simulation mode
Backport PR to LTS release branch(es) #3031: Pull request #6545 closed by lemmy
October 9, 2024 12:16 2s
October 9, 2024 12:16 2s
Strengthen various *TypeInvs by defining every function's domain.
Backport PR to LTS release branch(es) #3030: Pull request #6544 closed by lemmy
October 9, 2024 11:50 2s
October 9, 2024 11:50 2s
Check high-level liveness properties in simulation mode
Backport PR to LTS release branch(es) #3029: Pull request #6545 labeled by achamayou
October 9, 2024 11:00 3s
October 9, 2024 11:00 3s
Remove setuptools_scm and set version in pyproject.toml
Backport PR to LTS release branch(es) #3028: Pull request #6550 closed by achamayou
October 9, 2024 10:54 2s
October 9, 2024 10:54 2s
Experiment: set -x in tests.sh
Backport PR to LTS release branch(es) #3027: Pull request #6549 closed by achamayou
October 9, 2024 09:46 3s
October 9, 2024 09:46 3s
Test ADO fork build rules change
Backport PR to LTS release branch(es) #3026: Pull request #6548 closed by achamayou
October 9, 2024 09:17 3s
October 9, 2024 09:17 3s
Experiment: downgrade setuptools
Backport PR to LTS release branch(es) #3025: Pull request #6547 closed by achamayou
October 9, 2024 09:15 2s
October 9, 2024 09:15 2s
Experiment: pin setuptools_scm
Backport PR to LTS release branch(es) #3024: Pull request #6543 closed by achamayou
October 9, 2024 08:28 2s
October 9, 2024 08:28 2s
Check high-level liveness properties in simulation mode
Backport PR to LTS release branch(es) #3022: Pull request #6545 labeled by lemmy
October 9, 2024 04:11 6s
October 9, 2024 04:11 6s
Check high-level liveness properties in simulation mode
Backport PR to LTS release branch(es) #3023: Pull request #6545 labeled by lemmy
October 9, 2024 04:11 4s
October 9, 2024 04:11 4s
Strengthen various *TypeInvs by defining every function's domain.
Backport PR to LTS release branch(es) #3021: Pull request #6544 labeled by lemmy
October 8, 2024 18:28 3s
October 8, 2024 18:28 3s
Release notes for 6.0.0-dev1
Backport PR to LTS release branch(es) #3020: Pull request #6542 closed by achamayou
October 8, 2024 13:04 2s
October 8, 2024 13:04 2s
Correct and enforce schema on CBOR proofs
Backport PR to LTS release branch(es) #3019: Pull request #6520 closed by achamayou
October 8, 2024 12:52 2s
October 8, 2024 12:52 2s
Allow manual trigger of long test on branches
Backport PR to LTS release branch(es) #3018: Pull request #6541 closed by achamayou
October 8, 2024 12:46 2s
October 8, 2024 12:46 2s
Allow manual runs of long verification
Backport PR to LTS release branch(es) #3017: Pull request #6536 closed by achamayou
October 8, 2024 10:33 2s
October 8, 2024 10:33 2s
Upgrade to build-08-10-2024
Backport PR to LTS release branch(es) #3016: Pull request #6540 closed by achamayou
October 8, 2024 10:31 2s
October 8, 2024 10:31 2s