Skip to content

Actions: tweag/nickel

Actions

benchmark master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark-master.yaml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Detect infinite recursions in nickel doc (#2055) benchmark master #23: Commit 0b251e8 pushed by github-merge-queue bot
October 2, 2024 13:30 5m 17s master
master
October 2, 2024 13:30 5m 17s
Update flake inputs (#2058) benchmark master #22: Commit 927ee23 pushed by github-merge-queue bot
October 2, 2024 09:16 5m 17s master
master
October 2, 2024 09:16 5m 17s
chore(deps): bump actions/github-script from 6 to 7 (#2016) benchmark master #21: Commit 378ece3 pushed by github-merge-queue bot
September 30, 2024 07:56 9m 13s master
master
September 30, 2024 07:56 9m 13s
chore(deps): bump cachix/install-nix-action from V28 to 29 (#2054) benchmark master #20: Commit 1ddfe25 pushed by github-merge-queue bot
September 27, 2024 11:58 10m 35s master
master
September 27, 2024 11:58 10m 35s
Adds a nickel test subcommand for testing examples in docs. (#2020) benchmark master #19: Commit eee41e3 pushed by github-merge-queue bot
September 26, 2024 14:06 11m 1s master
master
September 26, 2024 14:06 11m 1s
Thunks for resolved imports (#2052) benchmark master #18: Commit a285d9e pushed by github-merge-queue bot
September 26, 2024 11:10 9m 50s master
master
September 26, 2024 11:10 9m 50s
Explicit imports: import 'Raw "sample.html" (#2036) benchmark master #17: Commit c50647d pushed by github-merge-queue bot
September 18, 2024 16:19 11m 14s master
master
September 18, 2024 16:19 11m 14s
Fix release script to handle more deps style (#2044) benchmark master #16: Commit dceb960 pushed by github-merge-queue bot
September 17, 2024 14:32 7m 58s master
master
September 17, 2024 14:32 7m 58s
Fix unsound record contract deduplication (#2042) benchmark master #15: Commit 4a4825e pushed by github-merge-queue bot
September 16, 2024 16:14 7m 22s master
master
September 16, 2024 16:14 7m 22s
chore(deps): bump cachix/install-nix-action from V27 to 28 (#2038) benchmark master #14: Commit 5145172 pushed by github-merge-queue bot
September 13, 2024 08:50 11m 6s master
master
September 13, 2024 08:50 11m 6s
Add --format argument to nickel query command (#2015) benchmark master #13: Commit 9bcd369 pushed by github-merge-queue bot
September 12, 2024 09:17 11m 31s master
master
September 12, 2024 09:17 11m 31s
Let rec patterns (#2031) benchmark master #12: Commit 3663b0a pushed by github-merge-queue bot
September 12, 2024 02:03 8m 0s master
master
September 12, 2024 02:03 8m 0s
Let blocks (#2010) benchmark master #11: Commit 58412e8 pushed by github-merge-queue bot
September 10, 2024 15:16 10m 13s master
master
September 10, 2024 15:16 10m 13s
chore(deps): bump DeterminateSystems/update-flake-lock from 23 to 24 … benchmark master #10: Commit e5e6988 pushed by github-merge-queue bot
September 10, 2024 10:09 9m 12s master
master
September 10, 2024 10:09 9m 12s
[release.sh] update to 1.8.0 (#2034) benchmark master #9: Commit 3c2049f pushed by github-merge-queue bot
September 9, 2024 16:45 8m 43s master
master
September 9, 2024 16:45 8m 43s
Update to latest topiary-queries (formatting) (#2032) benchmark master #8: Commit c587d3a pushed by github-merge-queue bot
September 9, 2024 10:48 7m 32s master
master
September 9, 2024 10:48 7m 32s
Add record constructor to subtyping (#2007) benchmark master #7: Commit 273ae0f pushed by github-merge-queue bot
September 6, 2024 15:57 7m 33s master
master
September 6, 2024 15:57 7m 33s
chore(deps): bump micromatch in /lsp/vscode-extension (#2030) benchmark master #6: Commit 44aef16 pushed by github-merge-queue bot
September 4, 2024 12:42 7m 24s master
master
September 4, 2024 12:42 7m 24s
Fix windows tests (#2025) benchmark master #5: Commit 165eedd pushed by github-merge-queue bot
August 9, 2024 01:57 7m 11s master
master
August 9, 2024 01:57 7m 11s
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
[Optimization] Cache contract generation and pre-compile some match e… benchmark master #3: Commit b3c8e30 pushed by github-merge-queue bot
August 2, 2024 06:55 6m 44s master
master
August 2, 2024 06:55 6m 44s
Missing event.json upload (#2018) benchmark master #2: Commit 734bcc9 pushed by github-merge-queue bot
July 31, 2024 13:07 6m 56s master
master
July 31, 2024 13:07 6m 56s
Track benchmarks in CI (#2012) benchmark master #1: Commit 0e060a0 pushed by github-merge-queue bot
July 29, 2024 14:12 7m 2s master
master
July 29, 2024 14:12 7m 2s