Skip to content

Actions: dannypsnl/violet-legacy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update the date in LICENSE Run Tests #128: Commit 2607c54 pushed by dannypsnl
September 22, 2023 21:36 1m 7s main
main
September 22, 2023 21:36 1m 7s
update packages Run Tests #127: Commit 3387d9f pushed by dannypsnl
September 14, 2023 02:56 1m 9s main
main
September 14, 2023 02:56 1m 9s
update lspec Run Tests #126: Commit 3fe676e pushed by dannypsnl
September 12, 2023 23:54 1m 23s main
main
September 12, 2023 23:54 1m 23s
bump to stable lean Run Tests #125: Commit 9d35bd7 pushed by dannypsnl
September 8, 2023 15:30 1m 9s main
main
September 8, 2023 15:30 1m 9s
pair projection syntax, semantic, and evaluation (#110) Run Tests #124: Commit 83841dc pushed by dannypsnl
September 6, 2023 12:08 1m 14s main
main
September 6, 2023 12:08 1m 14s
pair projection syntax, semantic, and evaluation Run Tests #123: Pull request #110 synchronize by dannypsnl
September 3, 2023 02:06 1m 23s pair-projection
pair-projection
September 3, 2023 02:06 1m 23s
use infer to handle projection can make it easier Run Tests #122: Commit 001baab pushed by dannypsnl
September 3, 2023 02:06 1m 14s pair-projection
pair-projection
September 3, 2023 02:06 1m 14s
pair projection syntax, semantic, and evaluation Run Tests #121: Pull request #110 synchronize by dannypsnl
September 3, 2023 02:01 1m 24s pair-projection
pair-projection
September 3, 2023 02:01 1m 24s
test primitive projection Run Tests #120: Commit d8ad376 pushed by dannypsnl
September 3, 2023 02:01 1m 10s pair-projection
pair-projection
September 3, 2023 02:01 1m 10s
pair projection syntax, semantic, and evaluation Run Tests #119: Pull request #110 synchronize by dannypsnl
September 3, 2023 01:57 1m 10s pair-projection
pair-projection
September 3, 2023 01:57 1m 10s
primitive projection Run Tests #118: Commit ac168db pushed by dannypsnl
September 3, 2023 01:57 1m 26s pair-projection
pair-projection
September 3, 2023 01:57 1m 26s
pair projection syntax, semantic, and evaluation Run Tests #117: Pull request #110 synchronize by dannypsnl
August 15, 2023 15:19 1m 22s pair-projection
pair-projection
August 15, 2023 15:19 1m 22s
Merge branch 'main' into pair-projection Run Tests #116: Commit b4926e2 pushed by dannypsnl
August 15, 2023 15:19 1m 4s pair-projection
pair-projection
August 15, 2023 15:19 1m 4s
update record syntax Run Tests #115: Commit 4f3b840 pushed by dannypsnl
August 15, 2023 12:46 1m 11s main
main
August 15, 2023 12:46 1m 11s