Skip to content

Actions: agda/agda2lambox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add WIP translation to MetaCoq LambdaBox AST Nix CI #10: Commit b1c4b8b pushed by aionescu
November 28, 2024 16:13 1m 26s lambox2coq
lambox2coq
November 28, 2024 16:13 1m 26s
Add WIP translation to MetaCoq LambdaBox AST Nix CI #9: Commit a94b31f pushed by aionescu
November 28, 2024 16:10 1m 21s lambox2coq
lambox2coq
November 28, 2024 16:10 1m 21s
(new) syntax for lambdabox types Nix CI #8: Commit 839dea8 pushed by casvdrest
November 28, 2024 15:49 1m 21s master
master
November 28, 2024 15:49 1m 21s
Add WIP translation to MetaCoq LambdaBox AST Nix CI #7: Commit bf236e1 pushed by aionescu
November 28, 2024 15:45 1m 21s lambox2coq
lambox2coq
November 28, 2024 15:45 1m 21s
Add initial treeless -> lambdabox translation Nix CI #6: Commit 0812ee2 pushed by carlostome
November 28, 2024 15:05 1m 23s master
master
November 28, 2024 15:05 1m 23s
Add locally nameless to Lambox; introduce inductive Nix CI #5: Commit c53d97d pushed by carlostome
November 28, 2024 14:35 1m 24s master
master
November 28, 2024 14:35 1m 24s
Initial skeleton Nix CI #4: Commit a9008fd pushed by omelkonian
November 28, 2024 12:43 1m 20s master
master
November 28, 2024 12:43 1m 20s
small cleanup, make LambdaBox build and picked up by hls Nix CI #3: Commit 336eee3 pushed by liesnikov
November 27, 2024 16:51 1m 55s master
master
November 27, 2024 16:51 1m 55s
try removing paths Nix CI #2: Commit 3fa4c68 pushed by liesnikov
November 27, 2024 16:34 1m 36s master
master
November 27, 2024 16:34 1m 36s
nix ci build Nix CI #1: Commit ca79e82 pushed by liesnikov
November 27, 2024 16:31 Failure master
master
November 27, 2024 16:31 Failure