Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow run results
171 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve handling of complex self params, e.g., tracked &a self)` CI #174: Commit dee2ed7 pushed by parno
February 13, 2024 21:19 29s main
main
February 13, 2024 21:19 29s
Add support for opens_invariants CI #173: Commit 6aec101 pushed by parno
February 13, 2024 15:41 38s main
main
February 13, 2024 15:41 38s
Add basic support for const_param CI #172: Commit 5af3a6e pushed by parno
February 13, 2024 14:50 38s main
main
February 13, 2024 14:50 38s
Update handling ofr fn_trait_types, inspired by this tricky example from CI #171: Commit a21b251 pushed by parno
February 13, 2024 14:37 41s main
main
February 13, 2024 14:37 41s
Add a test CI #170: Commit f50f5d4 pushed by parno
February 13, 2024 14:03 51s main
main
February 13, 2024 14:03 51s
Add support for the new spec_fn CI #169: Commit 54bf294 pushed by parno
February 13, 2024 14:01 47s main
main
February 13, 2024 14:01 47s
Improve installation instructions CI #168: Commit 09bdfb3 pushed by jaybosamiya
February 13, 2024 03:24 36s main
main
February 13, 2024 03:24 36s
Improve installation instructions CI #167: Commit 09bdfb3 pushed by jaybosamiya
February 13, 2024 03:22 31s readme-installer
readme-installer
February 13, 2024 03:22 31s
Improve installation instructions CI #166: Commit c0c5ac5 pushed by jaybosamiya
February 13, 2024 03:20 39s readme-installer
readme-installer
February 13, 2024 03:20 39s
Improve installation instructions CI #165: Commit 78f477d pushed by jaybosamiya
February 13, 2024 03:19 38s readme-installer
readme-installer
February 13, 2024 03:19 38s
chore: bump minor version Release #5: Commit 87818d8 pushed by jaybosamiya
February 13, 2024 03:01 5m 5s v0.2.0
v0.2.0
February 13, 2024 03:01 5m 5s
chore: bump minor version CI #164: Commit 87818d8 pushed by jaybosamiya
February 13, 2024 03:01 41s v0.2.0
v0.2.0
February 13, 2024 03:01 41s
chore: bump minor version CI #163: Commit 87818d8 pushed by jaybosamiya
February 13, 2024 03:01 33s main
main
February 13, 2024 03:01 33s
Fix package naming for crates.io publishing CI #162: Commit df2d2a4 pushed by jaybosamiya
February 13, 2024 03:00 37s main
main
February 13, 2024 03:00 37s
chore: bump minor version CI #161: Commit cf64d29 pushed by jaybosamiya
February 13, 2024 02:52 38s v0.2.0
v0.2.0
February 13, 2024 02:52 38s
chore: bump minor version Release #4: Commit cf64d29 pushed by jaybosamiya
February 13, 2024 02:52 4m 18s v0.2.0
v0.2.0
February 13, 2024 02:52 4m 18s
chore: bump minor version CI #160: Commit cf64d29 pushed by jaybosamiya
February 13, 2024 02:50 38s main
main
February 13, 2024 02:50 38s
Automatic release distribution setup (#29) CI #159: Commit d4aa40a pushed by jaybosamiya
February 13, 2024 02:44 47s main
main
February 13, 2024 02:44 47s
Automatic release distribution setup Release #3: Pull request #29 synchronize by jaybosamiya
February 13, 2024 02:40 15s release-infra
release-infra
February 13, 2024 02:40 15s
Automatic release distribution setup CI #158: Pull request #29 synchronize by jaybosamiya
February 13, 2024 02:40 39s release-infra
release-infra
February 13, 2024 02:40 39s
Add crates.io publishing support CI #157: Commit 3cbe8ba pushed by jaybosamiya
February 13, 2024 02:40 32s release-infra
release-infra
February 13, 2024 02:40 32s
Automatic release distribution setup CI #156: Pull request #29 synchronize by jaybosamiya
February 13, 2024 02:35 29s release-infra
release-infra
February 13, 2024 02:35 29s
Automatic release distribution setup Release #2: Pull request #29 synchronize by jaybosamiya
February 13, 2024 02:35 17s release-infra
release-infra
February 13, 2024 02:35 17s
Add crates.io publishing support CI #155: Commit b17122e pushed by jaybosamiya
February 13, 2024 02:35 35s release-infra
release-infra
February 13, 2024 02:35 35s
Automatic release distribution setup Release #1: Pull request #29 opened by jaybosamiya
February 13, 2024 02:27 22s release-infra
release-infra
February 13, 2024 02:27 22s