Skip to content

Actions: rustfoundation/safety-critical-rust-coding-guidelines

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Coding Guideline]: Do not divide by 0
Coding Guideline Issue Labeler #27: Issue #131 opened by vapdrs
June 10, 2025 18:06 13s
June 10, 2025 18:06 13s
Lint rst
Build #197: Pull request #130 synchronize by plaindocs
June 10, 2025 14:22 16s plaindocs:sphinx-lint
June 10, 2025 14:22 16s
Lint rst
Build #196: Pull request #130 opened by plaindocs
June 10, 2025 14:17 16s plaindocs:sphinx-lint
June 10, 2025 14:17 16s
Install typos GHA and fix typos
Build #195: Pull request #129 opened by plaindocs
June 10, 2025 14:01 1m 14s plaindocs:install_typos
June 10, 2025 14:01 1m 14s
Nightly
Nightly #89: Scheduled
June 10, 2025 02:31 21s main
June 10, 2025 02:31 21s
Nightly
Nightly #88: Scheduled
June 9, 2025 02:33 22s main
June 9, 2025 02:33 22s
Nightly
Nightly #87: Scheduled
June 8, 2025 02:35 19s main
June 8, 2025 02:35 19s
[GitHub Action] Automatically open a PR for accepted guideline issues
.github/workflows/auto-pr-on-issue.yml #1: Pull request #122 by x0rw
June 7, 2025 17:23 Failure x0rw:github-action/auto-pr
June 7, 2025 17:23 Failure
Fix misleading rationale (#126)
Build #191: Commit e872d1b pushed by github-merge-queue bot
June 7, 2025 16:54 18s main
June 7, 2025 16:54 18s
Build
Build #190: Merge group checks requested
June 7, 2025 16:53 17s
June 7, 2025 16:53 17s
Nightly
Nightly #86: Scheduled
June 7, 2025 02:29 21s main
June 7, 2025 02:29 21s
Nightly
Nightly #85: Scheduled
June 6, 2025 02:30 23s main
June 6, 2025 02:30 23s
Nightly
Nightly #84: Scheduled
June 5, 2025 02:30 22s main
June 5, 2025 02:30 22s
Field for citations and references
Coding Guideline Issue Labeler #26: Issue #128 opened by AlexCeleste
June 4, 2025 16:07 8s
June 4, 2025 16:07 8s
Enable verbose mode for make.py in CI
Coding Guideline Issue Labeler #25: Issue #125 opened by x0rw
June 4, 2025 08:47 10s
June 4, 2025 08:47 10s
Nightly
Nightly #83: Scheduled
June 4, 2025 02:30 19s main
June 4, 2025 02:30 19s
Updating spec lock file 2025-06-03 (#124)
Build #185: Commit 333dd54 pushed by github-merge-queue bot
June 3, 2025 18:03 15s main
June 3, 2025 18:03 15s