Skip to content

Actions: rust-lang/project-stable-mir

Deploy Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move the book to book/ folder and add more content (#84)
Deploy Book #28: Commit 3a23d5b pushed by celinval
June 20, 2024 16:49 2m 14s main
June 20, 2024 16:49 2m 14s
Move the book to book/ folder and add more content
Deploy Book #27: Pull request #84 synchronize by celinval
June 20, 2024 16:45 2m 1s celinval:smir-book
June 20, 2024 16:45 2m 1s
Move the book to book/ folder and add more content
Deploy Book #26: Pull request #84 synchronize by celinval
June 19, 2024 04:15 2m 10s celinval:smir-book
June 19, 2024 04:15 2m 10s
Move the book to book/ folder and add more content
Deploy Book #25: Pull request #84 opened by celinval
June 18, 2024 23:39 2m 6s celinval:smir-book
June 18, 2024 23:39 2m 6s
Add a job to check the demo
Deploy Book #24: Commit ea28c92 pushed by oli-obk
April 19, 2024 10:06 1m 59s main
April 19, 2024 10:06 1m 59s
Smir demo
Deploy Book #23: Pull request #74 opened by celinval
April 6, 2024 06:26 2m 3s celinval:smir-demo
April 6, 2024 06:26 2m 3s
Update README.md
Deploy Book #22: Pull request #73 opened by celinval
March 28, 2024 04:16 1m 58s celinval:readme_stable_mir
March 28, 2024 04:16 1m 58s
Fix compilation after changes to trait and run
Deploy Book #21: Commit 801f474 pushed by oli-obk
January 26, 2024 21:05 1m 59s main
January 26, 2024 21:05 1m 59s
Fix compilation after changes to trait and run
Deploy Book #20: Pull request #60 synchronize by celinval
January 22, 2024 20:24 2m 11s celinval:smir-trait-run
January 22, 2024 20:24 2m 11s
Fix compilation after changes to trait and run
Deploy Book #19: Pull request #60 opened by celinval
January 22, 2024 20:08 1m 59s celinval:smir-trait-run
January 22, 2024 20:08 1m 59s
Fix test after moving name fn to CrateDef trait (#55)
Deploy Book #18: Commit 8ec26c6 pushed by celinval
December 2, 2023 00:57 2m 8s main
December 2, 2023 00:57 2m 8s
Fix tests after creation of CrateDef trait
Deploy Book #17: Pull request #55 reopened by celinval
November 30, 2023 19:10 2m 4s celinval:crate-def-fix
November 30, 2023 19:10 2m 4s
Fix tests after creation of CrateDef trait
Deploy Book #16: Pull request #55 synchronize by celinval
November 30, 2023 19:10 2m 4s celinval:crate-def-fix
November 30, 2023 19:10 2m 4s
Improve our tests to check instances and visitor (#51)
Deploy Book #15: Commit 4188bdc pushed by celinval
November 20, 2023 22:13 2m 0s main
November 20, 2023 22:13 2m 0s
Improve our tests to check instances and visitor
Deploy Book #14: Pull request #51 synchronize by celinval
November 20, 2023 15:29 2m 0s celinval:instance-tests
November 20, 2023 15:29 2m 0s
Improve our tests to check instances and visitor
Deploy Book #13: Pull request #51 opened by celinval
November 7, 2023 22:23 3m 18s celinval:instance-tests
November 7, 2023 22:23 3m 18s
Adjust test driver due to breaking changes
Deploy Book #12: Commit 16849ae pushed by oli-obk
October 27, 2023 08:16 3m 25s main
October 27, 2023 08:16 3m 25s
Adjust test driver due to breaking changes
Deploy Book #11: Pull request #48 opened by celinval
October 27, 2023 03:07 4m 3s celinval:nightly-fix
October 27, 2023 03:07 4m 3s
Fix mdbook and add format check
Deploy Book #10: Commit fd9ce75 pushed by oli-obk
October 10, 2023 21:55 4m 2s main
October 10, 2023 21:55 4m 2s
Add custom toolchain section
Deploy Book #9: Commit 8b4868e pushed by oli-obk
October 10, 2023 21:50 19s main
October 10, 2023 21:50 19s
Fix tests after nightly breaking changes
Deploy Book #8: Commit bad1ac2 pushed by oli-obk
October 10, 2023 21:44 14s main
October 10, 2023 21:44 14s
Fix mdbook and add format check
Deploy Book #7: Pull request #43 opened by celinval
October 10, 2023 17:45 3m 54s celinval:main
October 10, 2023 17:45 3m 54s
Create tooling for end-to-end testing (#25)
Deploy Book #6: Commit f0f892f pushed by celinval
October 3, 2023 22:41 16s main
October 3, 2023 22:41 16s
Add a minimum triage bot
Deploy Book #5: Commit cdc5e70 pushed by oli-obk
August 1, 2023 07:00 13s main
August 1, 2023 07:00 13s