Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/consort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP Main workflow #229: Commit 35b99c2 pushed by artoy
July 28, 2023 08:26 15m 46s develop/mochi-backend
develop/mochi-backend
July 28, 2023 08:26 15m 46s
[WIP] Use MoCHi as back-end Main workflow #228: Pull request #36 synchronize by artoy
July 14, 2023 08:13 8m 51s develop/mochi-backend
develop/mochi-backend
July 14, 2023 08:13 8m 51s
add convmochi Main workflow #227: Commit 05f3eee pushed by artoy
July 14, 2023 08:13 8m 16s develop/mochi-backend
develop/mochi-backend
July 14, 2023 08:13 8m 16s
[WIP] Use MoCHi as back-end Main workflow #226: Pull request #36 synchronize by artoy
July 13, 2023 06:34 8m 50s develop/mochi-backend
develop/mochi-backend
July 13, 2023 06:34 8m 50s
fix .cons.2 in alias statements Main workflow #225: Commit 2c53f39 pushed by artoy
July 13, 2023 06:34 9m 19s develop/mochi-backend
develop/mochi-backend
July 13, 2023 06:34 9m 19s
[WIP] Use MoCHi as back-end Main workflow #224: Pull request #36 synchronize by artoy
July 13, 2023 06:20 11m 53s develop/mochi-backend
develop/mochi-backend
July 13, 2023 06:20 11m 53s
output constraints of ownership variables Main workflow #223: Commit d4929b4 pushed by artoy
July 13, 2023 06:20 10m 20s develop/mochi-backend
develop/mochi-backend
July 13, 2023 06:20 10m 20s
[WIP] Use MoCHi as back-end Main workflow #222: Pull request #36 synchronize by artoy
July 13, 2023 05:23 11m 8s develop/mochi-backend
develop/mochi-backend
July 13, 2023 05:23 11m 8s
update consort.ml Main workflow #221: Commit b847fda pushed by artoy
July 13, 2023 05:23 11m 40s develop/mochi-backend
develop/mochi-backend
July 13, 2023 05:23 11m 40s
[WIP] Use MoCHi as back-end Main workflow #220: Pull request #36 synchronize by artoy
July 13, 2023 01:19 10m 3s develop/mochi-backend
develop/mochi-backend
July 13, 2023 01:19 10m 3s
fix a test Main workflow #219: Commit f54fa86 pushed by artoy
July 13, 2023 01:19 9m 26s develop/mochi-backend
develop/mochi-backend
July 13, 2023 01:19 9m 26s
[WIP] Use MoCHi as back-end Main workflow #218: Pull request #36 synchronize by artoy
July 10, 2023 06:57 8m 28s develop/mochi-backend
develop/mochi-backend
July 10, 2023 06:57 8m 28s
implement ownership inference of .cons.2 Main workflow #217: Commit 2dabacf pushed by artoy
July 10, 2023 06:57 12m 0s develop/mochi-backend
develop/mochi-backend
July 10, 2023 06:57 12m 0s
[WIP] Use MoCHi as back-end Main workflow #216: Pull request #36 synchronize by artoy
July 6, 2023 06:32 9m 55s develop/mochi-backend
develop/mochi-backend
July 6, 2023 06:32 9m 55s
delete an unused function Main workflow #215: Commit eb0989e pushed by artoy
July 6, 2023 06:32 12m 33s develop/mochi-backend
develop/mochi-backend
July 6, 2023 06:32 12m 33s
[WIP] Use MoCHi as back-end Main workflow #214: Pull request #36 synchronize by artoy
July 6, 2023 06:29 10m 40s develop/mochi-backend
develop/mochi-backend
July 6, 2023 06:29 10m 40s
implement simple type checking of .Cons.2 alias Main workflow #213: Commit 7e7ce3c pushed by artoy
July 6, 2023 06:29 9m 31s develop/mochi-backend
develop/mochi-backend
July 6, 2023 06:29 9m 31s
[WIP] Use MoCHi as back-end Main workflow #212: Pull request #36 synchronize by artoy
July 3, 2023 06:57 9m 19s develop/mochi-backend
develop/mochi-backend
July 3, 2023 06:57 9m 19s
update test Main workflow #211: Commit 2ec1692 pushed by artoy
July 3, 2023 06:57 9m 15s develop/mochi-backend
develop/mochi-backend
July 3, 2023 06:57 9m 15s
[WIP] Use MoCHi as back-end Main workflow #210: Pull request #36 synchronize by artoy
July 3, 2023 06:38 9m 48s develop/mochi-backend
develop/mochi-backend
July 3, 2023 06:38 9m 48s
fix match statement (is this really correct?) Main workflow #209: Commit a2b82e2 pushed by artoy
July 3, 2023 06:38 9m 4s develop/mochi-backend
develop/mochi-backend
July 3, 2023 06:38 9m 4s
[WIP] Use MoCHi as back-end Main workflow #208: Pull request #36 synchronize by artoy
July 1, 2023 07:06 14m 23s develop/mochi-backend
develop/mochi-backend
July 1, 2023 07:06 14m 23s
fix a bug about mkref intlist Main workflow #207: Commit 0c1574f pushed by artoy
July 1, 2023 07:06 12m 25s develop/mochi-backend
develop/mochi-backend
July 1, 2023 07:06 12m 25s
[WIP] Use MoCHi as back-end Main workflow #206: Pull request #36 synchronize by artoy
June 29, 2023 08:10 13m 24s develop/mochi-backend
develop/mochi-backend
June 29, 2023 08:10 13m 24s
add test Main workflow #205: Commit cef561f pushed by artoy
June 29, 2023 08:10 10m 56s develop/mochi-backend
develop/mochi-backend
June 29, 2023 08:10 10m 56s