Skip to content

Actions: rust-lang/project-stable-mir

Actions

Run demo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
demo.yml
6 workflow runs
6 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) Run demo #6: Commit 3a23d5b pushed by celinval
June 20, 2024 16:49 36s main
main
June 20, 2024 16:49 36s
Move the book to book/ folder and add more content Run demo #5: Pull request #84 synchronize by celinval
June 20, 2024 16:45 49s celinval:smir-book
celinval:smir-book
June 20, 2024 16:45 49s
Move the book to book/ folder and add more content Run demo #4: Pull request #84 synchronize by celinval
June 19, 2024 04:15 30s celinval:smir-book
celinval:smir-book
June 19, 2024 04:15 30s
Move the book to book/ folder and add more content Run demo #3: Pull request #84 opened by celinval
June 18, 2024 23:39 32s celinval:smir-book
celinval:smir-book
June 18, 2024 23:39 32s
Add a job to check the demo Run demo #2: Commit ea28c92 pushed by oli-obk
April 19, 2024 10:06 1m 6s main
main
April 19, 2024 10:06 1m 6s
Smir demo Run demo #1: Pull request #74 opened by celinval
April 6, 2024 06:26 43s celinval:smir-demo
celinval:smir-demo
April 6, 2024 06:26 43s