Skip to content

Actions: rust-lang/project-stable-mir

Actions

Deploy Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_mdbook.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update public docs to reflect new name (#115) Deploy Book #58: Commit 809abee pushed by celinval
1m 54s main
main
1m 54s
Update public docs to reflect new name Deploy Book #57: Pull request #115 synchronize by celinval
1m 52s celinval:smir-book-rename
celinval:smir-book-rename
1m 52s
Update public docs to reflect new name Deploy Book #56: Pull request #115 opened by celinval
1m 52s celinval:smir-book-rename
celinval:smir-book-rename
1m 52s
book: Fix links (#114) Deploy Book #55: Commit a34756b pushed by celinval
1m 48s main
main
1m 48s
book: Fix links Deploy Book #54: Pull request #114 synchronize by aDotInTheVoid
1m 46s aDotInTheVoid:push-vskxzoywtykm
aDotInTheVoid:push-vskxzoywtykm
1m 46s
book: Fix links Deploy Book #53: Pull request #114 opened by aDotInTheVoid
1m 50s aDotInTheVoid:push-vskxzoywtykm
aDotInTheVoid:push-vskxzoywtykm
1m 50s
book: Update "Initial Integration" to rustc_public name (#113) Deploy Book #52: Commit 1788ea1 pushed by celinval
1m 50s main
main
1m 50s
demo: Don't hardcode binary name in build script (#112) Deploy Book #51: Commit c7cd6d4 pushed by celinval
1m 50s main
main
1m 50s
book: Update "Initial Integration" to rustc_public name Deploy Book #50: Pull request #113 opened by aDotInTheVoid
1m 42s aDotInTheVoid:push-ovuyxklsvlqy
aDotInTheVoid:push-ovuyxklsvlqy
1m 42s
demo: Don't hardcode binary name in build script Deploy Book #49: Pull request #112 opened by aDotInTheVoid
1m 51s aDotInTheVoid:push-uoqkqnwlrmys
aDotInTheVoid:push-uoqkqnwlrmys
1m 51s
Establish Infrastructure (#105) Deploy Book #48: Commit 6500c72 pushed by celinval
1m 56s main
main
1m 56s
Establish Infrastructure Deploy Book #47: Pull request #105 synchronize by makai410
2m 23s makai410:infra-cl
makai410:infra-cl
2m 23s
Establish Infrastructure Deploy Book #46: Pull request #105 synchronize by makai410
1m 55s makai410:infra-cl
makai410:infra-cl
1m 55s
Establish Infrastructure Deploy Book #45: Pull request #105 synchronize by makai410
1m 40s makai410:infra-cl
makai410:infra-cl
1m 40s
Establish Infrastructure Deploy Book #44: Pull request #105 synchronize by makai410
2m 8s makai410:infra-cl
makai410:infra-cl
2m 8s
fix demo (#108) Deploy Book #43: Commit 81f4c6f pushed by celinval
1m 49s main
main
1m 49s
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
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
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
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 Deploy Book #36: Pull request #108 opened by makai410
1m 53s makai410:fix-demo
makai410:fix-demo
1m 53s
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
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