Skip to content

Actions: omelkonian/agda2train

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DB: update query.json CI #41: Commit 8deda12 pushed by omelkonian
October 28, 2023 15:32 4m 58s master
master
October 28, 2023 15:32 4m 58s
[fix #11] introduce dependency levels CI #40: Commit 9a4c7d1 pushed by omelkonian
October 28, 2023 15:26 4m 14s master
master
October 28, 2023 15:26 4m 14s
[fix #11] introduce dependency levels CI #39: Commit d3101e4 pushed by omelkonian
October 28, 2023 12:46 4m 47s master
master
October 28, 2023 12:46 4m 47s
Update DB query with new field names CI #38: Commit 89f2f0c pushed by omelkonian
October 27, 2023 21:33 4m 58s master
master
October 27, 2023 21:33 4m 58s
[fix #13] also include private holes if --no-privates has not been set CI #37: Commit f6e6506 pushed by omelkonian
October 27, 2023 21:23 4m 25s master
master
October 27, 2023 21:23 4m 25s
[fix #12] do not use reserved "name" for references/bound-vars CI #36: Commit 725a959 pushed by omelkonian
October 27, 2023 21:02 4m 37s master
master
October 27, 2023 21:02 4m 37s
Experiment: dummy DB mapping contexts to presimes CI #35: Commit 55328fe pushed by omelkonian
October 27, 2023 20:17 5m 48s master
master
October 27, 2023 20:17 5m 48s
Experiment: dummy DB that maps (hashes of) contexts to presises CI #34: Commit ce1e88d pushed by omelkonian
October 27, 2023 19:36 30m 20s db-example
db-example
October 27, 2023 19:36 30m 20s
CI: always checkout CI #33: Commit 4903649 pushed by omelkonian
October 27, 2023 08:06 20m 40s db-example
db-example
October 27, 2023 08:06 20m 40s
Experiment: dummy DB that maps (hashes of) contexts to presises CI #32: Commit 457dfa7 pushed by omelkonian
October 26, 2023 21:49 2m 4s db-example
db-example
October 26, 2023 21:49 2m 4s
Experiment: dummy DB that maps (hashes of) contexts to presises CI #31: Commit 35708a3 pushed by omelkonian
October 26, 2023 21:48 1m 29s db-example
db-example
October 26, 2023 21:48 1m 29s
[fix] include reduced definitions CI #30: Commit c7060d0 pushed by omelkonian
October 26, 2023 19:59 4m 35s master
master
October 26, 2023 19:59 4m 35s
start simple inference dataset CI #29: Commit def7f96 pushed by jyp
October 24, 2023 09:03 3m 45s master
master
October 24, 2023 09:03 3m 45s
Makefile: remove RTS flags for stdlib CI #28: Commit 95e40c3 pushed by omelkonian
October 20, 2023 20:18 3m 41s master
master
October 20, 2023 20:18 3m 41s
cabal: include tested GHC versions CI #27: Commit 27d2793 pushed by omelkonian
October 20, 2023 20:17 3m 57s master
master
October 20, 2023 20:17 3m 57s