Skip to content

Actions: rust-lang/polonius

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
7 workflow runs
7 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Enrich gitignore file to exclude editor files CI #84: Pull request #198 opened by FullyNonlinear
June 19, 2024 04:39 48s FullyNonlinear:master
FullyNonlinear:master
June 19, 2024 04:39 48s
Remove compiler flags that no longer exist from script CI #83: Commit a80bd00 pushed by amandasystems
May 22, 2024 14:20 1m 1s master
master
May 22, 2024 14:20 1m 1s
Dusting off this repository CI #82: Pull request #196 opened by amandasystems
May 22, 2024 14:17 49s amandasystems:master
amandasystems:master
May 22, 2024 14:17 49s
inline mir in .dot file CI #81: Pull request #195 opened by lengyijun
October 16, 2023 01:48 1m 10s lengyijun:pest
lengyijun:pest
October 16, 2023 01:48 1m 10s
Make Polonius report any found errors by default CI #80: Pull request #193 synchronize by ivanbakel
July 21, 2023 11:56 1m 0s ivanbakel:feature/errors-by-default
ivanbakel:feature/errors-by-default
July 21, 2023 11:56 1m 0s
docs: origin_live_at -> origin_live_on_entry CI #79: Pull request #194 opened by ivanbakel
July 21, 2023 11:47 3m 22s ivanbakel:fix/origin-rule-name
ivanbakel:fix/origin-rule-name
July 21, 2023 11:47 3m 22s
Make Polonius report any found errors by default CI #78: Pull request #193 opened by ivanbakel
July 21, 2023 11:47 3m 10s ivanbakel:feature/errors-by-default
ivanbakel:feature/errors-by-default
July 21, 2023 11:47 3m 10s