Skip to content

Actions: celinval/stable-mir-dev

Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a job to check the demo
Format Check #12: Commit e543519 pushed by celinval
April 5, 2024 19:16 37s main
April 5, 2024 19:16 37s
Move demo out of tools and remove from workspace
Format Check #11: Commit 200151c pushed by celinval
April 5, 2024 19:10 31s main
April 5, 2024 19:10 31s
Merge branch 'rust-lang:main' into main
Format Check #10: Commit 2fc3e0c pushed by celinval
February 2, 2024 00:39 28s main
February 2, 2024 00:39 28s
Fix compilation after changes to trait and run
Format Check #9: Commit d8c4e6e pushed by celinval
January 22, 2024 20:06 32s main
January 22, 2024 20:06 32s
Adjust test driver due to breaking changes
Format Check #8: Commit 16849ae pushed by celinval
November 1, 2023 18:06 44s main
November 1, 2023 18:06 44s
Fix mdbook and add format check
Format Check #7: Commit 350330a pushed by celinval
October 6, 2023 21:18 42s main
October 6, 2023 21:18 42s
Fix mdbook and add format check
Format Check #6: Commit 5dec4c4 pushed by celinval
October 6, 2023 21:14 36s main
October 6, 2023 21:14 36s
Fix deploy mdbook workflow
Format Check #5: Commit 5b326ed pushed by celinval
October 6, 2023 21:07 39s main
October 6, 2023 21:07 39s
Fix deploy mdbook workflow
Format Check #4: Commit 975b867 pushed by celinval
October 6, 2023 21:07 36s main
October 6, 2023 21:07 36s
Fix deploy mdbook workflow
Format Check #3: Commit a4910bf pushed by celinval
October 6, 2023 20:20 38s main
October 6, 2023 20:20 38s
Add build only
Format Check #2: Commit 59cdb94 pushed by celinval
October 6, 2023 19:56 3m 14s main
October 6, 2023 19:56 3m 14s
Add a format check to our actions and format code
Format Check #1: Commit b65803d pushed by celinval
October 6, 2023 19:49 Failure fix-mdbook
October 6, 2023 19:49 Failure