Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,391 workflow run results
2,391 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Track Benchmarks with Bencher Track Benchmarks with Bencher #36: completed by cydparser
August 6, 2024 23:10 18s
August 6, 2024 23:10 18s
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 benchmark pull requests #45: Pull request #2024 synchronize by cydparser
August 6, 2024 23:03 6m 56s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 23:03 6m 56s
Fix benchmarks on Windows Continuous integration #5656: Pull request #2024 synchronize by cydparser
August 6, 2024 23:03 28m 3s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 23:03 28m 3s
Track Benchmarks with Bencher Track Benchmarks with Bencher #35: completed by cydparser
August 6, 2024 22:28 2s
August 6, 2024 22:28 2s
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
Fix benchmarks on Windows benchmark pull requests #44: Pull request #2024 opened by cydparser
August 6, 2024 22:21 7m 3s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 22:21 7m 3s
Fix benchmarks on Windows Continuous integration #5655: Pull request #2024 opened by cydparser
August 6, 2024 22:21 20m 11s cydparser:fix-windows-benchmarks
cydparser:fix-windows-benchmarks
August 6, 2024 22:21 20m 11s
Track Benchmarks with Bencher Track Benchmarks with Bencher #34: completed by yannham
August 6, 2024 16:56 2s
August 6, 2024 16:56 2s
[Performance] Reduce size of term benchmark pull requests #43: Pull request #2022 synchronize by yannham
August 6, 2024 16:50 5m 29s perf/reduce-size-of-term
perf/reduce-size-of-term
August 6, 2024 16:50 5m 29s
[Performance] Reduce size of term Continuous integration #5654: Pull request #2022 synchronize by yannham
August 6, 2024 16:50 5m 31s perf/reduce-size-of-term
perf/reduce-size-of-term
August 6, 2024 16:50 5m 31s
[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
Track Benchmarks with Bencher Track Benchmarks with Bencher #33: completed by jneem
August 6, 2024 15:40 18s
August 6, 2024 15:40 18s
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
Adds a nickel test subcommand for testing examples in docs. Continuous integration #5653: Pull request #2020 synchronize by jneem
August 6, 2024 15:32 30m 22s doctests
doctests
August 6, 2024 15:32 30m 22s
Adds a nickel test subcommand for testing examples in docs. benchmark pull requests #42: Pull request #2020 synchronize by jneem
August 6, 2024 15:32 7m 27s doctests
doctests
August 6, 2024 15:32 7m 27s
Fix and improve contract generation optimization for static types (#2… Continuous integration #5652: Commit 2754065 pushed by github-merge-queue bot
August 6, 2024 14:05 5m 52s master
master
August 6, 2024 14:05 5m 52s
Fix and improve contract generation optimization for static types (#2… benchmark master #4: Commit 2754065 pushed by github-merge-queue bot
August 6, 2024 14:05 7m 0s master
master
August 6, 2024 14:05 7m 0s
Continuous integration Continuous integration #5651: Merge group checks requested
August 6, 2024 13:59 5m 26s
August 6, 2024 13:59 5m 26s
Deploy preview Deploy preview #4035: Merge group checks requested
August 6, 2024 13:59 3m 6s
August 6, 2024 13:59 3m 6s
Track Benchmarks with Bencher Track Benchmarks with Bencher #32: completed by yannham
August 6, 2024 13:33 16s
August 6, 2024 13:33 16s
Add record constructor to subtyping Continuous integration #5650: Pull request #2007 synchronize by yannham
August 6, 2024 13:26 11m 44s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 6, 2024 13:26 11m 44s
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
Add record constructor to subtyping benchmark pull requests #41: Pull request #2007 synchronize by yannham
August 6, 2024 13:26 6m 55s Eckaos:subtyping/record_constructor
Eckaos:subtyping/record_constructor
August 6, 2024 13:26 6m 55s
Track Benchmarks with Bencher Track Benchmarks with Bencher #31: completed by yannham
August 6, 2024 10:46 2s
August 6, 2024 10:46 2s