Skip to content

Actions: rems-project/cerberus

Actions

CN-Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn-coq.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Mucore program export to Coq CN-Coq #6: Pull request #847 synchronize by vzaliva
February 6, 2025 23:14 18m 14s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 23:14 18m 14s
CN: Mucore program export to Coq CN-Coq #5: Pull request #847 synchronize by vzaliva
February 6, 2025 22:36 3m 40s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 22:36 3m 40s
CN: Mucore program export to Coq CN-Coq #4: Pull request #847 synchronize by vzaliva
February 6, 2025 22:04 3m 49s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 22:04 3m 49s
CN: Mucore program export to Coq CN-Coq #3: Pull request #847 synchronize by vzaliva
February 6, 2025 21:56 7m 57s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 21:56 7m 57s
CN: Mucore program export to Coq CN-Coq #2: Pull request #847 synchronize by vzaliva
February 6, 2025 20:39 17m 34s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 20:39 17m 34s
CN: Mucore program export to Coq CN-Coq #1: Pull request #847 synchronize by vzaliva
February 6, 2025 18:56 17m 7s vzaliva:cn-logging
vzaliva:cn-logging
February 6, 2025 18:56 17m 7s