Skip to content

Actions: tweag/nickel

Actions

Deploy preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-preview.yml
1,863 workflow runs
1,863 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add --format argument to nickel query command Deploy preview #4054: Pull request #2015 synchronize by suimong
August 9, 2024 06:13 2m 51s suimong:cli_query_export
suimong:cli_query_export
August 9, 2024 06:13 2m 51s
Deploy preview Deploy preview #4053: Merge group checks requested
August 9, 2024 01:26 2m 54s
August 9, 2024 01:26 2m 54s
Fix windows tests Deploy preview #4052: Pull request #2025 synchronize by cydparser
August 8, 2024 23:27 2m 47s cydparser:fix-windows-tests
cydparser:fix-windows-tests
August 8, 2024 23:27 2m 47s
[Performance] Reduce size of term Deploy preview #4051: Pull request #2022 synchronize by yannham
August 8, 2024 18:59 3m 11s perf/reduce-size-of-term
perf/reduce-size-of-term
August 8, 2024 18:59 3m 11s
Deploy preview Deploy preview #4050: Merge group checks requested
August 8, 2024 16:31 2m 53s
August 8, 2024 16:31 2m 53s
Fix windows tests Deploy preview #4049: Pull request #2025 opened by cydparser
August 8, 2024 04:57 2m 52s cydparser:fix-windows-tests
cydparser:fix-windows-tests
August 8, 2024 04:57 2m 52s
Fix benchmarks on Windows Deploy preview #4048: Pull request #2024 synchronize by cydparser
August 8, 2024 04:37 2m 46s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 8, 2024 04:37 2m 46s
Let blocks Deploy preview #4047: Pull request #2010 synchronize by jneem
August 8, 2024 03:18 2m 49s let-blocks
let-blocks
August 8, 2024 03:18 2m 49s
Add record constructor to subtyping Deploy preview #4046: Pull request #2007 synchronize by Eckaos
August 7, 2024 14:33 2m 55s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 7, 2024 14:33 2m 55s
Add record constructor to subtyping Deploy preview #4045: Pull request #2007 synchronize by Eckaos
August 7, 2024 13:39 2m 48s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 7, 2024 13:39 2m 48s
Add record constructor to subtyping Deploy preview #4044: Pull request #2007 synchronize by Eckaos
August 7, 2024 13:24 2m 50s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 7, 2024 13:24 2m 50s
Add record constructor to subtyping Deploy preview #4043: Pull request #2007 synchronize by Eckaos
August 7, 2024 13:21 2m 59s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 7, 2024 13:21 2m 59s
Let blocks Deploy preview #4042: Pull request #2010 synchronize by jneem
August 7, 2024 10:25 2m 55s let-blocks
let-blocks
August 7, 2024 10:25 2m 55s
Let blocks Deploy preview #4041: Pull request #2010 synchronize by jneem
August 7, 2024 09:33 3m 6s let-blocks
let-blocks
August 7, 2024 09:33 3m 6s
Adds a nickel test subcommand for testing examples in docs. Deploy preview #4040: Pull request #2020 synchronize by jneem
August 7, 2024 04:12 2m 53s doctests
doctests
August 7, 2024 04:12 2m 53s
Fix benchmarks on Windows Deploy preview #4039: Pull request #2024 synchronize by cydparser
August 6, 2024 23:03 2m 49s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 23:03 2m 49s
Fix benchmarks on Windows Deploy preview #4038: Pull request #2024 opened by cydparser
August 6, 2024 22:21 2m 50s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 22:21 2m 50s
[Performance] Reduce size of term Deploy preview #4037: Pull request #2022 synchronize by yannham
August 6, 2024 16:50 3m 8s perf/reduce-size-of-term
perf/reduce-size-of-term
August 6, 2024 16:50 3m 8s
Adds a nickel test subcommand for testing examples in docs. Deploy preview #4036: Pull request #2020 synchronize by jneem
August 6, 2024 15:32 2m 51s doctests
doctests
August 6, 2024 15:32 2m 51s
Deploy preview Deploy preview #4035: Merge group checks requested
August 6, 2024 13:59 3m 6s
August 6, 2024 13:59 3m 6s
Add record constructor to subtyping Deploy preview #4034: Pull request #2007 synchronize by yannham
August 6, 2024 13:26 2m 55s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 6, 2024 13:26 2m 55s
[Performance] Reduce size of term Deploy preview #4033: Pull request #2022 synchronize by yannham
August 6, 2024 10:40 3m 8s perf/reduce-size-of-term
perf/reduce-size-of-term
August 6, 2024 10:40 3m 8s
[Performance] Reduce size of term Deploy preview #4032: Pull request #2022 synchronize by yannham
August 5, 2024 16:48 3m 2s perf/reduce-size-of-term
perf/reduce-size-of-term
August 5, 2024 16:48 3m 2s
Fix and improve contract generation optimization for static types Deploy preview #4031: Pull request #2017 synchronize by yannham
August 5, 2024 16:42 2m 52s fix/polymorphic-rows-tail-disappears
fix/polymorphic-rows-tail-disappears
August 5, 2024 16:42 2m 52s
Fix and improve contract generation optimization for static types Deploy preview #4030: Pull request #2017 synchronize by yannham
August 5, 2024 16:36 2m 49s fix/polymorphic-rows-tail-disappears
fix/polymorphic-rows-tail-disappears
August 5, 2024 16:36 2m 49s