Skip to content

Actions: tweag/nickel

benchmark pull requests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RFC007] Migration of the typechecker - part II
benchmark pull requests #495: Pull request #2134 synchronize by yannham
December 28, 2024 17:06 15m 39s rfc007/typechecking-part-2
December 28, 2024 17:06 15m 39s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #494: Pull request #2134 opened by yannham
December 28, 2024 15:22 15m 47s rfc007/typechecking-part-2
December 28, 2024 15:22 15m 47s
pass thru feature nix-experimental
benchmark pull requests #493: Pull request #2132 synchronize by KiaraGrouwstra
December 25, 2024 17:56 27m 28s KiaraGrouwstra:import-nix
December 25, 2024 17:56 27m 28s
pass thru feature nix-experimental
benchmark pull requests #492: Pull request #2132 opened by KiaraGrouwstra
December 24, 2024 13:13 27m 32s KiaraGrouwstra:import-nix
December 24, 2024 13:13 27m 32s
Add the package std module
benchmark pull requests #491: Pull request #2104 edited by jneem
December 24, 2024 09:06 13m 32s std-package
December 24, 2024 09:06 13m 32s
Add the package std module
benchmark pull requests #490: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 48s std-package
December 24, 2024 09:02 13m 48s
[RFC007] Extract runtime contract equality out of typecheck
benchmark pull requests #489: Pull request #2130 synchronize by yannham
December 24, 2024 08:46 13m 59s rfc007/extract-contract-dedup
December 24, 2024 08:46 13m 59s
Do deep eval for doctests
benchmark pull requests #488: Pull request #2110 synchronize by jneem
December 24, 2024 02:50 13m 51s doctest-deep-eq
December 24, 2024 02:50 13m 51s
Freeze records on insert/remove/update.
benchmark pull requests #487: Pull request #2131 synchronize by jneem
December 23, 2024 16:25 13m 56s freeze-em
December 23, 2024 16:25 13m 56s
Freeze records on insert/remove/update.
benchmark pull requests #486: Pull request #2131 opened by jneem
December 23, 2024 16:00 13m 39s freeze-em
December 23, 2024 16:00 13m 39s
[RFC007] Extract runtime contract equality out of typecheck
benchmark pull requests #485: Pull request #2130 opened by yannham
December 23, 2024 15:16 13m 48s rfc007/extract-contract-dedup
December 23, 2024 15:16 13m 48s
[RFC007] Cleanup post "typechecker migration, part I"
benchmark pull requests #484: Pull request #2129 synchronize by yannham
December 23, 2024 13:32 13m 56s rfc007/typechecking-traits
December 23, 2024 13:32 13m 56s
[RFC007] Cleanup post "typechecker migration, part I"
benchmark pull requests #483: Pull request #2129 opened by yannham
December 23, 2024 13:01 14m 3s rfc007/typechecking-traits
December 23, 2024 13:01 14m 3s
flake.lock: Update
benchmark pull requests #482: Pull request #1963 edited by yannham
December 22, 2024 00:13 36m 8s update_flake_lock_action
December 22, 2024 00:13 36m 8s
flake.lock: Update
benchmark pull requests #481: Pull request #1963 synchronize by yannham
December 22, 2024 00:13 36m 10s update_flake_lock_action
December 22, 2024 00:13 36m 10s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #480: Pull request #2121 edited by yannham
December 20, 2024 19:36 13m 42s rfc007/typechecking
December 20, 2024 19:36 13m 42s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #479: Pull request #2121 synchronize by yannham
December 20, 2024 19:32 13m 55s rfc007/typechecking
December 20, 2024 19:32 13m 55s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #478: Pull request #2121 synchronize by yannham
December 20, 2024 19:24 13m 53s rfc007/typechecking
December 20, 2024 19:24 13m 53s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #477: Pull request #2121 synchronize by yannham
December 20, 2024 19:14 13m 58s rfc007/typechecking
December 20, 2024 19:14 13m 58s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #476: Pull request #2121 synchronize by yannham
December 20, 2024 17:52 13m 55s rfc007/typechecking
December 20, 2024 17:52 13m 55s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #475: Pull request #2121 edited by yannham
December 20, 2024 17:51 13m 44s rfc007/typechecking
December 20, 2024 17:51 13m 44s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #474: Pull request #2121 edited by yannham
December 20, 2024 17:41 13m 35s rfc007/typechecking
December 20, 2024 17:41 13m 35s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #473: Pull request #2121 synchronize by yannham
December 20, 2024 17:35 13m 32s rfc007/typechecking
December 20, 2024 17:35 13m 32s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #472: Pull request #2121 synchronize by yannham
December 20, 2024 17:32 13m 31s rfc007/typechecking
December 20, 2024 17:32 13m 31s
[RFC007] Migrate the typechecker to the new AST - Part I
benchmark pull requests #471: Pull request #2121 synchronize by yannham
December 20, 2024 17:29 13m 45s rfc007/typechecking
December 20, 2024 17:29 13m 45s