Skip to content

Actions: Dr-Nekoma/karuta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initialize the Heap with custom capacity ci #16: Commit fc46639 pushed by EduardoLR10
October 16, 2024 03:01 43s prototype
prototype
October 16, 2024 03:01 43s
L0 interpreter ci #15: Pull request #1 synchronize by EduardoLR10
October 16, 2024 02:49 38s prototype
prototype
October 16, 2024 02:49 38s
Use Finger Tree and Integer Maps as data structures for L0 ci #14: Commit 196b144 pushed by EduardoLR10
October 16, 2024 02:49 39s prototype
prototype
October 16, 2024 02:49 39s
L0 interpreter ci #13: Pull request #1 synchronize by EduardoLR10
October 16, 2024 01:41 31s prototype
prototype
October 16, 2024 01:41 31s
Format ci #12: Commit ceb4340 pushed by EduardoLR10
October 16, 2024 01:41 33s prototype
prototype
October 16, 2024 01:41 33s
L0 interpreter ci #11: Pull request #1 synchronize by EduardoLR10
October 16, 2024 01:39 33s prototype
prototype
October 16, 2024 01:39 33s
Merge master ci #10: Commit 4b3ff2a pushed by EduardoLR10
October 16, 2024 01:39 37s prototype
prototype
October 16, 2024 01:39 37s
Merge pull request #2 from Dr-Nekoma/nix-template ci #9: Commit f38c0a1 pushed by EduardoLR10
October 16, 2024 01:27 39s master
master
October 16, 2024 01:27 39s
Swap nix flake to use template ci #8: Pull request #2 synchronize by EduardoLR10
October 16, 2024 01:20 37s nix-template
nix-template
October 16, 2024 01:20 37s
Update dune project ci #7: Commit ef4894f pushed by EduardoLR10
October 16, 2024 01:20 43s nix-template
nix-template
October 16, 2024 01:20 43s
Swap nix flake to use template ci #6: Pull request #2 synchronize by EduardoLR10
October 16, 2024 01:14 43s nix-template
nix-template
October 16, 2024 01:14 43s
Add menhir and batteries libraries ci #5: Commit ab4f1fb pushed by EduardoLR10
October 16, 2024 01:14 39s nix-template
nix-template
October 16, 2024 01:14 39s
Swap nix flake to use template ci #4: Pull request #2 synchronize by EduardoLR10
October 16, 2024 01:06 42s nix-template
nix-template
October 16, 2024 01:06 42s
Format and fix tests ci #3: Commit cd1e689 pushed by EduardoLR10
October 16, 2024 01:06 42s nix-template
nix-template
October 16, 2024 01:06 42s
Swap nix flake to use template ci #2: Pull request #2 opened by EduardoLR10
October 16, 2024 01:00 44s nix-template
nix-template
October 16, 2024 01:00 44s
Swap nix flake to use template ci #1: Commit 55f6940 pushed by EduardoLR10
October 16, 2024 01:00 38s nix-template
nix-template
October 16, 2024 01:00 38s