Skip to content

Actions: taikoxyz/raiko

Actions

CI - All Provers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-provers.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(task db): implement a task DB CI - All Provers #24: Pull request #208 synchronize by petarvujovic98
June 18, 2024 09:38 26m 48s tasks_db
tasks_db
June 18, 2024 09:38 26m 48s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #23: Pull request #220 synchronize by petarvujovic98
June 18, 2024 07:29 34m 42s clippy-ci
clippy-ci
June 18, 2024 07:29 34m 42s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #22: Pull request #220 synchronize by petarvujovic98
June 17, 2024 13:27 33m 43s clippy-ci
clippy-ci
June 17, 2024 13:27 33m 43s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #21: Pull request #220 synchronize by petarvujovic98
June 17, 2024 12:45 30m 5s clippy-ci
clippy-ci
June 17, 2024 12:45 30m 5s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #20: Pull request #220 synchronize by petarvujovic98
June 17, 2024 12:30 14m 48s clippy-ci
clippy-ci
June 17, 2024 12:30 14m 48s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #19: Pull request #220 synchronize by petarvujovic98
June 17, 2024 12:19 11m 14s clippy-ci
clippy-ci
June 17, 2024 12:19 11m 14s
feat(task db): implement a task DB CI - All Provers #18: Pull request #208 synchronize by petarvujovic98
June 17, 2024 12:07 27m 41s tasks_db
tasks_db
June 17, 2024 12:07 27m 41s
feat(task db): implement a task DB CI - All Provers #17: Pull request #208 synchronize by petarvujovic98
June 17, 2024 11:56 11m 36s tasks_db
tasks_db
June 17, 2024 11:56 11m 36s
feat(task db): implement a task DB CI - All Provers #16: Pull request #208 synchronize by petarvujovic98
June 17, 2024 11:11 26m 43s tasks_db
tasks_db
June 17, 2024 11:11 26m 43s
feat(task db): implement a task DB CI - All Provers #15: Pull request #208 synchronize by petarvujovic98
June 17, 2024 10:12 27m 29s tasks_db
tasks_db
June 17, 2024 10:12 27m 29s
feat(task db): implement a task DB CI - All Provers #14: Pull request #208 synchronize by petarvujovic98
June 17, 2024 09:57 15m 1s tasks_db
tasks_db
June 17, 2024 09:57 15m 1s
feat(task db): implement a task DB CI - All Provers #13: Pull request #208 synchronize by petarvujovic98
June 17, 2024 08:12 31m 57s tasks_db
tasks_db
June 17, 2024 08:12 31m 57s
feat(task db): implement a task DB CI - All Provers #12: Pull request #208 synchronize by petarvujovic98
June 17, 2024 08:05 7m 24s tasks_db
tasks_db
June 17, 2024 08:05 7m 24s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #11: Pull request #220 synchronize by petarvujovic98
June 17, 2024 08:01 26m 18s clippy-ci
clippy-ci
June 17, 2024 08:01 26m 18s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #10: Pull request #220 synchronize by petarvujovic98
June 17, 2024 07:56 5m 8s clippy-ci
clippy-ci
June 17, 2024 07:56 5m 8s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #9: Pull request #220 synchronize by petarvujovic98
June 14, 2024 13:20 27m 9s clippy-ci
clippy-ci
June 14, 2024 13:20 27m 9s
feat(ci): fix make clippy script and clippy CI job CI - All Provers #8: Pull request #220 synchronize by petarvujovic98
June 14, 2024 12:53 26m 24s clippy-ci
clippy-ci
June 14, 2024 12:53 26m 24s
feat(task db): implement a task DB CI - All Provers #7: Pull request #208 synchronize by petarvujovic98
June 14, 2024 08:17 20m 17s tasks_db
tasks_db
June 14, 2024 08:17 20m 17s
feat(task db): implement a task DB CI - All Provers #6: Pull request #208 synchronize by petarvujovic98
June 13, 2024 13:41 20m 22s tasks_db
tasks_db
June 13, 2024 13:41 20m 22s
feat(task db): implement a task DB CI - All Provers #5: Pull request #208 synchronize by petarvujovic98
June 13, 2024 11:28 10m 10s tasks_db
tasks_db
June 13, 2024 11:28 10m 10s
feat(task db): implement a task DB CI - All Provers #4: Pull request #208 synchronize by petarvujovic98
June 13, 2024 08:32 20m 7s tasks_db
tasks_db
June 13, 2024 08:32 20m 7s
feat(harness): make harness part of the root workspace (#285) CI - All Provers #3: Commit e3d2403 pushed by github-merge-queue bot
June 9, 2024 06:25 25m 1s main
main
June 9, 2024 06:25 25m 1s
feat(harness): make harness part of the root workspace CI - All Provers #2: Pull request #285 synchronize by CeciliaZ030
June 9, 2024 06:16 27m 24s harness-to-root
harness-to-root
June 9, 2024 06:16 27m 24s
feat(harness): make harness part of the root workspace CI - All Provers #1: Pull request #285 opened by CeciliaZ030
June 9, 2024 05:11 29m 8s harness-to-root
harness-to-root
June 9, 2024 05:11 29m 8s