Skip to content

Actions: dafny-lang/libraries

Actions

Checking examples in library documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-examples-in-docs.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 Checking examples in library documentation #263: Pull request #161 opened by MikaelMayer
October 30, 2024 14:16 1m 5s chore-fix-brittleness-4.9
chore-fix-brittleness-4.9
October 30, 2024 14:16 1m 5s
chore: Remove Dafny trigger warnings Checking examples in library documentation #262: Pull request #160 synchronize by seebees
October 4, 2024 23:42 1m 6s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:42 1m 6s
chore: Remove Dafny trigger warnings Checking examples in library documentation #261: Pull request #160 synchronize by seebees
October 4, 2024 23:23 1m 8s seebees:remove-warnings
seebees:remove-warnings
October 4, 2024 23:23 1m 8s
chore: Remove Dafny trigger warnings Checking examples in library documentation #260: Pull request #160 synchronize by seebees
October 3, 2024 20:03 1m 7s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 20:03 1m 7s
chore: Remove Dafny trigger warnings Checking examples in library documentation #259: Pull request #160 synchronize by seebees
October 3, 2024 19:48 1m 5s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 19:48 1m 5s
chore: Remove Dafny trigger warnings Checking examples in library documentation #258: Pull request #160 opened by seebees
October 3, 2024 15:58 1m 10s seebees:remove-warnings
seebees:remove-warnings
October 3, 2024 15:58 1m 10s
Added Dafny 4.8.0 in tests Checking examples in library documentation #257: 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 Checking examples in library documentation #256: Pull request #158 synchronize by atomb
August 20, 2024 23:00 1m 27s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 23:00 1m 27s
Remove warnings in forall Checking examples in library documentation #255: Pull request #158 synchronize by atomb
August 20, 2024 22:43 1m 10s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 22:43 1m 10s
Remove warnings in forall Checking examples in library documentation #254: Pull request #158 synchronize by atomb
August 20, 2024 21:36 29s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:36 29s
Remove warnings in forall Checking examples in library documentation #253: Pull request #158 synchronize by atomb
August 20, 2024 21:18 1m 0s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:18 1m 0s
Remove warnings in forall Checking examples in library documentation #252: Pull request #158 synchronize by atomb
August 20, 2024 21:13 1m 8s seebees:fix-forall-warning
seebees:fix-forall-warning
August 20, 2024 21:13 1m 8s
Remove warnings in forall Checking examples in library documentation #251: Pull request #158 opened by seebees
August 5, 2024 22:05 1m 18s seebees:fix-forall-warning
seebees:fix-forall-warning
August 5, 2024 22:05 1m 18s
WIP: Enumerator<T> trait Checking examples in library documentation #250: Pull request #37 synchronize by robin-aws
February 22, 2024 23:03 1m 9s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 23:03 1m 9s
WIP: Enumerator<T> trait Checking examples in library documentation #249: Pull request #37 synchronize by robin-aws
February 22, 2024 03:47 1m 44s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 22, 2024 03:47 1m 44s
WIP: Enumerator<T> trait Checking examples in library documentation #248: Pull request #37 synchronize by robin-aws
February 21, 2024 18:35 1m 15s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 21, 2024 18:35 1m 15s
WIP: Enumerator<T> trait Checking examples in library documentation #247: Pull request #37 synchronize by robin-aws
February 17, 2024 18:48 1m 11s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
February 17, 2024 18:48 1m 11s
Compatibility with Dafny 4.3, 4.4, and newer Checking examples in library documentation #246: Pull request #156 opened by atomb
January 25, 2024 23:39 1m 10s atomb:dafny-4.3-4.4
atomb:dafny-4.3-4.4
January 25, 2024 23:39 1m 10s
fix: Add missing type characteristics Checking examples in library documentation #245: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:37 1m 13s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:37 1m 13s
fix: Add missing type characteristics Checking examples in library documentation #244: Pull request #154 synchronize by RustanLeino
January 20, 2024 16:27 1m 4s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 20, 2024 16:27 1m 4s
WIP: Enumerator<T> trait Checking examples in library documentation #243: Pull request #37 synchronize by robin-aws
January 15, 2024 23:00 1m 11s robin-aws:enumeration-experiments
robin-aws:enumeration-experiments
January 15, 2024 23:00 1m 11s
Mark repository as deprecated Checking examples in library documentation #242: Pull request #155 opened by robin-aws
January 9, 2024 22:24 1m 12s robin-aws-deprecation
robin-aws-deprecation
January 9, 2024 22:24 1m 12s
fix: Add missing type characteristics Checking examples in library documentation #241: Pull request #154 synchronize by RustanLeino
January 3, 2024 21:11 1m 7s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 21:11 1m 7s
fix: Add missing type characteristics Checking examples in library documentation #240: Pull request #154 opened by RustanLeino
January 3, 2024 20:14 1m 6s RustanLeino:add-missing-type-characteristics
RustanLeino:add-missing-type-characteristics
January 3, 2024 20:14 1m 6s
Verified and easy-to-use parser combinators Checking examples in library documentation #239: Pull request #64 synchronize by MikaelMayer
December 13, 2023 18:38 1m 5s parser-combinators-library
parser-combinators-library
December 13, 2023 18:38 1m 5s