Skip to content

Actions: dafny-lang/libraries

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-format.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chore: Fix verification for 4.9 Check formatting #429: Pull request #161 opened by MikaelMayer
October 30, 2024 14:16 1m 25s chore-fix-brittleness-4.9
chore-fix-brittleness-4.9
October 30, 2024 14:16 1m 25s
chore: Remove Dafny trigger warnings Check formatting #428: Pull request #160 synchronize by seebees
October 4, 2024 23:42 1m 7s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:42 1m 7s
chore: Remove Dafny trigger warnings Check formatting #427: Pull request #160 synchronize by seebees
October 4, 2024 23:23 1m 22s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:23 1m 22s
chore: Remove Dafny trigger warnings Check formatting #426: Pull request #160 synchronize by seebees
October 3, 2024 20:03 1m 12s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 20:03 1m 12s
chore: Remove Dafny trigger warnings Check formatting #425: Pull request #160 synchronize by seebees
October 3, 2024 19:48 1m 13s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 19:48 1m 13s
chore: Remove Dafny trigger warnings Check formatting #424: Pull request #160 opened by seebees
October 3, 2024 15:58 1m 14s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 15:58 1m 14s
Added Dafny 4.8.0 in tests Check formatting #423: Pull request #159 opened by MikaelMayer
August 30, 2024 16:30 1m 8s chore-dafny-4-8-0
chore-dafny-4-8-0
August 30, 2024 16:30 1m 8s
Remove warnings in forall Check formatting #422: Pull request #158 synchronize by atomb
August 20, 2024 23:00 1m 7s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 23:00 1m 7s
Remove warnings in forall Check formatting #421: Pull request #158 synchronize by atomb
August 20, 2024 22:43 1m 8s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 22:43 1m 8s
Remove warnings in forall Check formatting #420: Pull request #158 synchronize by atomb
August 20, 2024 21:36 1m 13s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:36 1m 13s
Remove warnings in forall Check formatting #419: Pull request #158 synchronize by atomb
August 20, 2024 21:18 1m 13s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:18 1m 13s
Remove warnings in forall Check formatting #418: Pull request #158 synchronize by atomb
August 20, 2024 21:13 1m 19s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:13 1m 19s
Remove warnings in forall Check formatting #417: Pull request #158 opened by seebees
August 5, 2024 22:05 1m 21s seebees:fix-forall-warning
seebees:fix-forall-warning
August 5, 2024 22:05 1m 21s
WIP: Enumerator<T> trait Check formatting #416: Pull request #37 synchronize by robin-aws
February 22, 2024 23:03 1m 32s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 23:03 1m 32s
WIP: Enumerator<T> trait Check formatting #415: Pull request #37 synchronize by robin-aws
February 22, 2024 03:47 1m 33s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 03:47 1m 33s
WIP: Enumerator<T> trait Check formatting #414: Pull request #37 synchronize by robin-aws
February 21, 2024 18:35 1m 46s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 21, 2024 18:35 1m 46s
WIP: Enumerator<T> trait Check formatting #413: Pull request #37 synchronize by robin-aws
February 17, 2024 18:48 1m 37s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 17, 2024 18:48 1m 37s
Compatibility with Dafny 4.3, 4.4, and newer Check formatting #412: Pull request #156 opened by atomb
January 25, 2024 23:39 1m 13s atomb:dafny-4.3-4.4
atomb:dafny-4.3-4.4
January 25, 2024 23:39 1m 13s
fix: Add missing type characteristics Check formatting #411: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:37 1m 15s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:37 1m 15s
fix: Add missing type characteristics Check formatting #410: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:27 1m 17s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:27 1m 17s
WIP: Enumerator<T> trait Check formatting #409: Pull request #37 synchronize by robin-aws
January 15, 2024 23:00 1m 28s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
January 15, 2024 23:00 1m 28s
Mark repository as deprecated Check formatting #408: Pull request #155 opened by robin-aws
January 9, 2024 22:24 1m 21s robin-aws-deprecation
robin-aws-deprecation
January 9, 2024 22:24 1m 21s
fix: Add missing type characteristics Check formatting #407: Pull request #154 synchronize by RustanLeino
January 3, 2024 21:11 1m 14s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 21:11 1m 14s
fix: Add missing type characteristics Check formatting #406: Pull request #154 opened by RustanLeino
January 3, 2024 20:14 1m 28s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 20:14 1m 28s
Verified and easy-to-use parser combinators Check formatting #405: Pull request #64 synchronize by MikaelMayer
December 13, 2023 18:38 1m 26s parser-combinators-library
parser-combinators-library
December 13, 2023 18:38 1m 26s