Skip to content

Actions: cryspen/hax

Actions

Ensure formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
2,732 workflow runs
2,732 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1746 from cryspen/rengine-monadic-phase Ensure formatting #5535: Commit 7437cd0 pushed by github-merge-queue bot
43s main
main
43s
Ensure formatting Ensure formatting #5534: Merge group checks requested
49s
49s
feat(rust-engine/lean): monadic phase Ensure formatting #5533: Pull request #1746 synchronize by clementblaudeau
50s rengine-monadic-phase
rengine-monadic-phase
50s
feat(rust-engine/lean): monadic phase Ensure formatting #5532: Pull request #1746 synchronize by clementblaudeau
45s rengine-monadic-phase
rengine-monadic-phase
45s
feat(rust-engine/lean): monadic phase Ensure formatting #5531: Pull request #1746 synchronize by clementblaudeau
49s rengine-monadic-phase
rengine-monadic-phase
49s
feat(rust-engine/lean): monadic phase Ensure formatting #5530: Pull request #1746 synchronize by clementblaudeau
44s rengine-monadic-phase
rengine-monadic-phase
44s
feat(rust-engine/lean): monadic phase Ensure formatting #5529: Pull request #1746 synchronize by clementblaudeau
43s rengine-monadic-phase
rengine-monadic-phase
43s
feat(rust-engine/lean): monadic phase Ensure formatting #5528: Pull request #1746 synchronize by clementblaudeau
45s rengine-monadic-phase
rengine-monadic-phase
45s
feat(rust-engine/lean): monadic phase Ensure formatting #5527: Pull request #1746 synchronize by clementblaudeau
44s rengine-monadic-phase
rengine-monadic-phase
44s
[F* lib] Tls codec panic freedom Ensure formatting #5526: Pull request #1742 synchronize by maximebuyse
47s tls-codec-panic-freedom
tls-codec-panic-freedom
47s
feat(rust-engine/lean): monadic phase Ensure formatting #5525: Pull request #1746 synchronize by clementblaudeau
44s rengine-monadic-phase
rengine-monadic-phase
44s
feat(rust-engine/lean): monadic phase Ensure formatting #5524: Pull request #1746 synchronize by clementblaudeau
45s rengine-monadic-phase
rengine-monadic-phase
45s
feat(rust-engine/lean): monadic phase Ensure formatting #5523: Pull request #1746 synchronize by clementblaudeau
49s rengine-monadic-phase
rengine-monadic-phase
49s
feat(rust-engine/lean): monadic phase Ensure formatting #5522: Pull request #1746 synchronize by clementblaudeau
45s rengine-monadic-phase
rengine-monadic-phase
45s
feat(rust-engine/lean): monadic phase Ensure formatting #5521: Pull request #1746 synchronize by clementblaudeau
47s rengine-monadic-phase
rengine-monadic-phase
47s
feat(rust-engine/lean): monadic phase Ensure formatting #5520: Pull request #1746 synchronize by clementblaudeau
51s rengine-monadic-phase
rengine-monadic-phase
51s
feat(rust-engine/lean): monadic phase Ensure formatting #5519: Pull request #1746 opened by clementblaudeau
42s rengine-monadic-phase
rengine-monadic-phase
42s
[F* lib] Tls codec panic freedom Ensure formatting #5518: Pull request #1742 synchronize by maximebuyse
44s tls-codec-panic-freedom
tls-codec-panic-freedom
44s
Merge pull request #1738 from cryspen/lean-const-resugaring Ensure formatting #5517: Commit 7ec218f pushed by github-merge-queue bot
45s main
main
45s
Ensure formatting Ensure formatting #5516: Merge group checks requested
52s
52s
Merge pull request #1739 from cryspen/rengine-reject-not-lean-dsl Ensure formatting #5515: Commit 6db49b5 pushed by github-merge-queue bot
50s main
main
50s
Ensure formatting Ensure formatting #5514: Merge group checks requested
43s
43s
feat(rengine, lean): add rejection phase that ensures an expression is in the Lean do-notation DSL Ensure formatting #5513: Pull request #1739 synchronize by clementblaudeau
49s rengine-reject-not-lean-dsl
rengine-reject-not-lean-dsl
49s
chore(deps): bump playwright and @playwright/test in /docs/.test Ensure formatting #5512: Pull request #1743 opened by dependabot bot
38s dependabot/npm_and_yarn/docs/dot-test/multi-a50d7f32cf
dependabot/npm_and_yarn/docs/dot-test/multi-a50d7f32cf
38s
feat(rengine, lean): add rejection phase that ensures an expression is in the Lean do-notation DSL Ensure formatting #5511: Pull request #1739 synchronize by clementblaudeau
48s rengine-reject-not-lean-dsl
rengine-reject-not-lean-dsl
48s