Skip to content

Actions: tweag/nickel

benchmark pull requests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
654 workflow runs
654 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Infra] Fix PyPI workflow
benchmark pull requests #655: Pull request #2169 synchronize by yannham
February 14, 2025 15:50 8m 17s chore/fix-py-pyckel-workflow
February 14, 2025 15:50 8m 17s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #654: Pull request #2170 synchronize by yannham
February 14, 2025 15:48 16m 28s rfc007/typechecking-part-2a
February 14, 2025 15:48 16m 28s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #653: Pull request #2170 synchronize by yannham
February 14, 2025 15:04 16m 37s rfc007/typechecking-part-2a
February 14, 2025 15:04 16m 37s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #650: Pull request #2170 synchronize by yannham
February 14, 2025 13:44 16m 11s rfc007/typechecking-part-2a
February 14, 2025 13:44 16m 11s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #649: Pull request #2170 synchronize by yannham
February 14, 2025 12:53 5m 40s rfc007/typechecking-part-2a
February 14, 2025 12:53 5m 40s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #648: Pull request #2170 synchronize by yannham
February 14, 2025 12:35 5m 14s rfc007/typechecking-part-2a
February 14, 2025 12:35 5m 14s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #647: Pull request #2170 synchronize by yannham
February 14, 2025 12:28 5m 10s rfc007/typechecking-part-2a
February 14, 2025 12:28 5m 10s
[RFC007] Migration of the typechecker part II - focus on bytecode::ast::typecheck
benchmark pull requests #646: Pull request #2170 synchronize by yannham
February 14, 2025 12:26 5m 12s rfc007/typechecking-part-2a
February 14, 2025 12:26 5m 12s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #644: Pull request #2134 synchronize by yannham
February 14, 2025 11:49 2m 55s rfc007/typechecking-part-2
February 14, 2025 11:49 2m 55s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #643: Pull request #2134 synchronize by yannham
February 13, 2025 16:59 3m 37s rfc007/typechecking-part-2
February 13, 2025 16:59 3m 37s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #642: Pull request #2134 synchronize by yannham
February 13, 2025 16:44 3m 33s rfc007/typechecking-part-2
February 13, 2025 16:44 3m 33s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #641: Pull request #2134 synchronize by yannham
February 13, 2025 15:30 3m 9s rfc007/typechecking-part-2
February 13, 2025 15:30 3m 9s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #640: Pull request #2134 synchronize by yannham
February 13, 2025 15:27 3m 16s rfc007/typechecking-part-2
February 13, 2025 15:27 3m 16s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #639: Pull request #2134 synchronize by yannham
February 12, 2025 16:43 3m 20s rfc007/typechecking-part-2
February 12, 2025 16:43 3m 20s
[Infra] Fix PyPI workflow
benchmark pull requests #638: Pull request #2169 edited by yannham
February 12, 2025 14:43 8m 31s chore/fix-py-pyckel-workflow
February 12, 2025 14:43 8m 31s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #637: Pull request #2134 synchronize by yannham
February 12, 2025 14:33 2m 21s rfc007/typechecking-part-2
February 12, 2025 14:33 2m 21s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #636: Pull request #2134 synchronize by yannham
February 12, 2025 14:33 2m 25s rfc007/typechecking-part-2
February 12, 2025 14:33 2m 25s
[Infra] Fix PyPI workflow
benchmark pull requests #635: Pull request #2169 opened by yannham
February 12, 2025 10:09 8m 29s chore/fix-py-pyckel-workflow
February 12, 2025 10:09 8m 29s
[release.sh] update to 1.10.0
benchmark pull requests #634: Pull request #2168 opened by yannham
February 12, 2025 10:00 16m 38s chore/update-1.10.0
February 12, 2025 10:00 16m 38s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #633: Pull request #2134 synchronize by yannham
February 12, 2025 09:58 2m 50s rfc007/typechecking-part-2
February 12, 2025 09:58 2m 50s
Support pull diagnostics and use them for testing
benchmark pull requests #632: Pull request #2166 opened by jneem
February 12, 2025 05:06 16m 25s more-reliable-nls-testing
February 12, 2025 05:06 16m 25s
[RFC007] Migration of the typechecker - part II
benchmark pull requests #631: Pull request #2134 synchronize by yannham
February 11, 2025 17:22 2m 59s rfc007/typechecking-part-2
February 11, 2025 17:22 2m 59s