Skip to content

Actions: rust-lang/a-mir-formality

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #179 from FullyNonlinear/main
CI #461: Commit 8732bc3 pushed by nikomatsakis
July 1, 2024 16:51 2m 27s main
July 1, 2024 16:51 2m 27s
track adt variant and field names do not conflict
CI #460: Pull request #175 synchronize by shua
July 1, 2024 16:01 2m 45s shua:uniq
July 1, 2024 16:01 2m 45s
track adt variant and field names do not conflict
CI #458: Pull request #175 synchronize by nikomatsakis
July 1, 2024 15:01 1m 10s shua:uniq
July 1, 2024 15:01 1m 10s
Merge pull request #177 from shua/wcwf
CI #457: Commit 3d95004 pushed by nikomatsakis
July 1, 2024 14:57 2m 35s main
July 1, 2024 14:57 2m 35s
Merge pull request #178 from shua/nopr
CI #456: Commit 3523b85 pushed by nikomatsakis
July 1, 2024 14:56 3m 14s main
July 1, 2024 14:56 3m 14s
replace custom wf check with well_formed constructor
CI #454: Pull request #177 synchronize by shua
June 30, 2024 20:50 2m 25s shua:wcwf
June 30, 2024 20:50 2m 25s
inline PR into WcData
CI #453: Pull request #178 opened by shua
June 30, 2024 20:48 2m 56s shua:nopr
June 30, 2024 20:48 2m 56s
replace custom wf check with well_formed constructor
CI #452: Pull request #177 opened by shua
June 30, 2024 08:45 2m 27s shua:wcwf
June 30, 2024 08:45 2m 27s
track adt variant and field names do not conflict
CI #451: Pull request #175 synchronize by shua
June 25, 2024 14:56 2m 40s shua:uniq
June 25, 2024 14:56 2m 40s
Merge pull request #176 from FullyNonlinear/main
CI #450: Commit 915661b pushed by nikomatsakis
June 25, 2024 13:30 2m 51s main
June 25, 2024 13:30 2m 51s
Merge pull request #171 from lcnr/coherence-cont
CI #449: Commit 3222d32 pushed by nikomatsakis
June 25, 2024 13:30 2m 52s main
June 25, 2024 13:30 2m 52s
Minor typo fix in book formality_core lang
CI #448: Pull request #176 opened by FullyNonlinear
June 25, 2024 06:40 2m 38s FullyNonlinear:main
June 25, 2024 06:40 2m 38s
continue coherence work
CI #447: Pull request #171 synchronize by nikomatsakis
June 24, 2024 20:57 2m 50s lcnr:coherence-cont
June 24, 2024 20:57 2m 50s
continue coherence work
CI #446: Pull request #171 synchronize by nikomatsakis
June 24, 2024 19:54 2m 34s lcnr:coherence-cont
June 24, 2024 19:54 2m 34s
track adt variant and field names do not conflict
CI #445: Pull request #175 opened by shua
June 22, 2024 16:33 2m 25s shua:uniq
June 22, 2024 16:33 2m 25s
continue coherence work
CI #444: Pull request #171 synchronize by nikomatsakis
June 20, 2024 22:29 44s lcnr:coherence-cont
June 20, 2024 22:29 44s
continue coherence work
CI #443: Pull request #171 synchronize by nikomatsakis
June 18, 2024 15:06 34s lcnr:coherence-cont
June 18, 2024 15:06 34s
continue coherence work
CI #442: Pull request #171 synchronize by nikomatsakis
June 18, 2024 15:01 51s lcnr:coherence-cont
June 18, 2024 15:01 51s
wip
CI #441: Commit 3966e06 pushed by nikomatsakis
June 17, 2024 22:14 3m 13s main
June 17, 2024 22:14 3m 13s
Merge pull request #174 from nikomatsakis/underscore-impls
CI #440: Commit ad45ac1 pushed by nikomatsakis
June 17, 2024 22:03 2m 47s main
June 17, 2024 22:03 2m 47s
continue coherence work
CI #438: Pull request #171 synchronize by lcnr
May 31, 2024 18:38 40s lcnr:coherence-cont
May 31, 2024 18:38 40s
continue coherence work
CI #437: Pull request #171 synchronize by lcnr
May 31, 2024 17:57 1m 29s lcnr:coherence-cont
May 31, 2024 17:57 1m 29s