Skip to content

Actions: PLTools/noCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Added btv test. Build #68: Commit 527ad47 pushed by Lozov-Petr
July 3, 2024 13:57 9m 54s master
master
July 3, 2024 13:57 9m 54s
Supported types with parameters in module signature. Build #67: Commit 09ddcbc pushed by Lozov-Petr
June 21, 2023 12:55 18m 0s master
master
June 21, 2023 12:55 18m 0s
Replaced memo test to directory with tests. Build #66: Commit 4428a59 pushed by Lozov-Petr
May 10, 2023 18:53 10m 36s master
master
May 10, 2023 18:53 10m 36s
Replaced memo test to directory with tests. Build #65: Commit a06467a pushed by Lozov-Petr
May 10, 2023 18:47 6m 39s master
master
May 10, 2023 18:47 6m 39s
Replaced memo test to directory with tests. Build #64: Commit ac2ce4a pushed by Lozov-Petr
May 10, 2023 18:13 18m 50s master
master
May 10, 2023 18:13 18m 50s
Supported untranslated mode for module types. Build #63: Commit d12362a pushed by Lozov-Petr
May 10, 2023 18:13 1m 15s master
master
May 10, 2023 18:13 1m 15s