Skip to content

Actions: rust-lang/project-stable-mir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix demo (#108) Deploy Book #43: Commit 81f4c6f pushed by celinval
1m 49s main
main
1m 49s
fix demo (#108) Format Check #35: Commit 81f4c6f pushed by celinval
25s main
main
25s
fix demo (#108) Run demo #12: Commit 81f4c6f pushed by celinval
28s main
main
28s
Establish Infrastructure Format Check #34: Pull request #105 synchronize by makai410
38s makai410:infra-cl
makai410:infra-cl
38s
Establish Infrastructure Deploy Book #42: Pull request #105 synchronize by makai410
1m 47s makai410:infra-cl
makai410:infra-cl
1m 47s
Merge pull request #104 from makai410/josh-history Deploy Book #41: Commit 2f3f59d pushed by oli-obk
1m 54s main
main
1m 54s
Merge pull request #104 from makai410/josh-history Format Check #33: Commit 2f3f59d pushed by oli-obk
31s main
main
31s
Establish Infrastructure Format Check #32: Pull request #105 synchronize by makai410
31s makai410:infra-cl
makai410:infra-cl
31s
Establish Infrastructure Deploy Book #40: Pull request #105 synchronize by makai410
1m 43s makai410:infra-cl
makai410:infra-cl
1m 43s
Fix the demo Deploy Book #39: Pull request #108 synchronize by makai410
1m 52s makai410:fix-demo
makai410:fix-demo
1m 52s
Fix the demo Format Check #31: Pull request #108 synchronize by makai410
25s makai410:fix-demo
makai410:fix-demo
25s
Fix the demo Run demo #11: Pull request #108 synchronize by makai410
29s makai410:fix-demo
makai410:fix-demo
29s
Clone rustc_public using josh sync Deploy Book #38: Pull request #104 synchronize by rust-cloud-vms bot
1m 52s makai410:josh-history
makai410:josh-history
1m 52s
Clone rustc_public using josh sync Format Check #30: Pull request #104 synchronize by rust-cloud-vms bot
27s makai410:josh-history
makai410:josh-history
27s
Fix the demo Deploy Book #37: Pull request #108 synchronize by makai410
1m 55s makai410:fix-demo
makai410:fix-demo
1m 55s
Fix the demo Run demo #10: Pull request #108 synchronize by makai410
33s makai410:fix-demo
makai410:fix-demo
33s
Fix the demo Format Check #29: Pull request #108 synchronize by makai410
35s makai410:fix-demo
makai410:fix-demo
35s
Fix the demo Run demo #9: Pull request #108 opened by makai410
32s makai410:fix-demo
makai410:fix-demo
32s
Fix the demo Deploy Book #36: Pull request #108 opened by makai410
1m 53s makai410:fix-demo
makai410:fix-demo
1m 53s
Fix the demo Format Check #28: Pull request #108 opened by makai410
33s makai410:fix-demo
makai410:fix-demo
33s
Enable the josh-sync cron job Deploy Book #35: Pull request #107 opened by makai410
1m 54s makai410:josh-config
makai410:josh-config
1m 54s
Enable the josh-sync cron job Format Check #27: Pull request #107 opened by makai410
32s makai410:josh-config
makai410:josh-config
32s
Clone rustc_public using josh sync Deploy Book #34: Pull request #104 synchronize by rust-cloud-vms bot
1m 49s makai410:josh-history
makai410:josh-history
1m 49s
Clone rustc_public using josh sync Format Check #26: Pull request #104 synchronize by rust-cloud-vms bot
28s makai410:josh-history
makai410:josh-history
28s
pages build and deployment pages-build-deployment #11: by github-pages bot
31s gh-pages
gh-pages
31s