Skip to content

Actions: dafny-lang/libraries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
654 workflow runs
654 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Dafny Core verification Nightly Dafny Core verification #270: Scheduled
October 8, 2023 10:18 17m 18s master
master
October 8, 2023 10:18 17m 18s
Nightly Dafny Core verification Nightly Dafny Core verification #269: Scheduled
October 7, 2023 10:18 15m 37s master
master
October 7, 2023 10:18 15m 37s
Nightly Dafny Core verification Nightly Dafny Core verification #268: Scheduled
October 6, 2023 10:20 15m 39s master
master
October 6, 2023 10:20 15m 39s
Nightly Dafny Core verification Nightly Dafny Core verification #267: Scheduled
October 5, 2023 10:21 15m 52s master
master
October 5, 2023 10:21 15m 52s
Rename module Math->MathLib, name conflicts with Java/C# Math class Check formatting #380: Pull request #146 synchronize by markrtuttle
October 4, 2023 22:35 1m 33s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 22:35 1m 33s
Rename module Math->MathLib, name conflicts with Java/C# Math class Dafny Core verification #808: Pull request #146 synchronize by markrtuttle
October 4, 2023 22:35 18m 44s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 22:35 18m 44s
Rename module Math->MathLib, name conflicts with Java/C# Math class Checking examples in library documentation #214: Pull request #146 synchronize by markrtuttle
October 4, 2023 22:35 1m 42s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 22:35 1m 42s
Replace deprecated syntax 'forall ensures' -> 'assert ... by' Checking examples in library documentation #213: Pull request #147 opened by markrtuttle
October 4, 2023 22:01 2m 1s markrtuttle:replace-deprecated-forall-syntax
markrtuttle:replace-deprecated-forall-syntax
October 4, 2023 22:01 2m 1s
Replace deprecated syntax 'forall ensures' -> 'assert ... by' Dafny Core verification #807: Pull request #147 opened by markrtuttle
October 4, 2023 22:01 15m 26s markrtuttle:replace-deprecated-forall-syntax
markrtuttle:replace-deprecated-forall-syntax
October 4, 2023 22:01 15m 26s
Replace deprecated syntax 'forall ensures' -> 'assert ... by' Check formatting #379: Pull request #147 opened by markrtuttle
October 4, 2023 22:01 1m 53s markrtuttle:replace-deprecated-forall-syntax
markrtuttle:replace-deprecated-forall-syntax
October 4, 2023 22:01 1m 53s
Rename module Math->MathLib, name conflicts with Java/C# Math class Dafny Core verification #806: Pull request #146 opened by markrtuttle
October 4, 2023 21:59 3m 35s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 21:59 3m 35s
Rename module Math->MathLib, name conflicts with Java/C# Math class Checking examples in library documentation #212: Pull request #146 opened by markrtuttle
October 4, 2023 21:59 1m 15s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 21:59 1m 15s
Rename module Math->MathLib, name conflicts with Java/C# Math class Check formatting #378: Pull request #146 opened by markrtuttle
October 4, 2023 21:59 1m 42s markrtuttle:rename-math-module
markrtuttle:rename-math-module
October 4, 2023 21:59 1m 42s
Nightly Dafny Core verification Nightly Dafny Core verification #266: Scheduled
October 4, 2023 10:20 16m 6s master
master
October 4, 2023 10:20 16m 6s
Nightly Dafny Core verification Nightly Dafny Core verification #265: Scheduled
October 3, 2023 10:20 15m 23s master
master
October 3, 2023 10:20 15m 23s
Nightly Dafny Core verification Nightly Dafny Core verification #264: Scheduled
October 2, 2023 10:20 15m 38s master
master
October 2, 2023 10:20 15m 38s
Nightly Dafny Core verification Nightly Dafny Core verification #263: Scheduled
October 1, 2023 10:18 15m 23s master
master
October 1, 2023 10:18 15m 23s
Nightly Dafny Core verification Nightly Dafny Core verification #262: Scheduled
September 30, 2023 10:18 17m 1s master
master
September 30, 2023 10:18 17m 1s
Update tests.yml for release 4.3.0 Check formatting #377: Pull request #144 opened by MikaelMayer
September 29, 2023 16:17 1m 52s chore-release-4.3.0
chore-release-4.3.0
September 29, 2023 16:17 1m 52s
Update tests.yml for release 4.3.0 Checking examples in library documentation #211: Pull request #144 opened by MikaelMayer
September 29, 2023 16:17 1m 43s chore-release-4.3.0
chore-release-4.3.0
September 29, 2023 16:17 1m 43s
Update tests.yml for release 4.3.0 Dafny Core verification #805: Pull request #144 opened by MikaelMayer
September 29, 2023 16:17 19m 35s chore-release-4.3.0
chore-release-4.3.0
September 29, 2023 16:17 19m 35s
Nightly Dafny Core verification Nightly Dafny Core verification #261: Scheduled
September 29, 2023 10:20 16m 43s master
master
September 29, 2023 10:20 16m 43s
Nightly Dafny Core verification Nightly Dafny Core verification #260: Scheduled
September 28, 2023 10:20 16m 18s master
master
September 28, 2023 10:20 16m 18s
Changing forall ensures to assert-by to avoid deprecation warning Dafny Core verification #804: Pull request #124 synchronize by robin-aws
September 27, 2023 22:09 18m 44s cok-forall
cok-forall
September 27, 2023 22:09 18m 44s
Changing forall ensures to assert-by to avoid deprecation warning Check formatting #376: Pull request #124 synchronize by robin-aws
September 27, 2023 22:09 1m 32s cok-forall
cok-forall
September 27, 2023 22:09 1m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.