Skip to content

Actions: rust-lang/project-stable-mir

Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
10 workflow runs
10 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)
Format Check #20: Commit 3a23d5b pushed by celinval
June 20, 2024 16:49 34s main
June 20, 2024 16:49 34s
Move the book to book/ folder and add more content
Format Check #19: Pull request #84 synchronize by celinval
June 20, 2024 16:45 41s celinval:smir-book
June 20, 2024 16:45 41s
Move the book to book/ folder and add more content
Format Check #18: Pull request #84 synchronize by celinval
June 19, 2024 04:15 33s celinval:smir-book
June 19, 2024 04:15 33s
Move the book to book/ folder and add more content
Format Check #17: Pull request #84 opened by celinval
June 18, 2024 23:39 33s celinval:smir-book
June 18, 2024 23:39 33s
Add a job to check the demo
Format Check #16: Commit ea28c92 pushed by oli-obk
April 19, 2024 10:06 55s main
April 19, 2024 10:06 55s
Smir demo
Format Check #15: Pull request #74 opened by celinval
April 6, 2024 06:26 33s celinval:smir-demo
April 6, 2024 06:26 33s
Update README.md
Format Check #14: Pull request #73 opened by celinval
March 28, 2024 04:16 34s celinval:readme_stable_mir
March 28, 2024 04:16 34s
Fix compilation after changes to trait and run
Format Check #13: Commit 801f474 pushed by oli-obk
January 26, 2024 21:05 27s main
January 26, 2024 21:05 27s
Fix compilation after changes to trait and run
Format Check #12: Pull request #60 synchronize by celinval
January 22, 2024 20:24 29s celinval:smir-trait-run
January 22, 2024 20:24 29s
Fix compilation after changes to trait and run
Format Check #11: Pull request #60 opened by celinval
January 22, 2024 20:08 35s celinval:smir-trait-run
January 22, 2024 20:08 35s