Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/consort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Use MoCHi as back-end Main workflow #254: Pull request #36 synchronize by artoy
August 13, 2023 08:12 10m 58s develop/mochi-backend
develop/mochi-backend
August 13, 2023 08:12 10m 58s
support for undet IntList Main workflow #253: Commit 280f2b3 pushed by artoy
August 13, 2023 08:12 8m 44s develop/mochi-backend
develop/mochi-backend
August 13, 2023 08:12 8m 44s
[WIP] Use MoCHi as back-end Main workflow #252: Pull request #36 synchronize by artoy
August 12, 2023 02:55 8m 56s develop/mochi-backend
develop/mochi-backend
August 12, 2023 02:55 8m 56s
add a test Main workflow #251: Commit 2d383b8 pushed by artoy
August 12, 2023 02:54 11m 5s develop/mochi-backend
develop/mochi-backend
August 12, 2023 02:54 11m 5s
[WIP] Use MoCHi as back-end Main workflow #250: Pull request #36 synchronize by artoy
August 11, 2023 13:56 9m 30s develop/mochi-backend
develop/mochi-backend
August 11, 2023 13:56 9m 30s
fix alias statment Main workflow #249: Commit dd704c0 pushed by artoy
August 11, 2023 13:56 11m 21s develop/mochi-backend
develop/mochi-backend
August 11, 2023 13:56 11m 21s
[WIP] Use MoCHi as back-end Main workflow #248: Pull request #36 synchronize by artoy
August 10, 2023 09:30 8m 52s develop/mochi-backend
develop/mochi-backend
August 10, 2023 09:30 8m 52s
add a comment and some fix Main workflow #247: Commit 001d25e pushed by artoy
August 10, 2023 09:30 8m 38s develop/mochi-backend
develop/mochi-backend
August 10, 2023 09:30 8m 38s
[WIP] Use MoCHi as back-end Main workflow #246: Pull request #36 synchronize by artoy
August 10, 2023 09:17 13m 15s develop/mochi-backend
develop/mochi-backend
August 10, 2023 09:17 13m 15s
some fix Main workflow #245: Commit 55c5882 pushed by artoy
August 10, 2023 09:17 8m 16s develop/mochi-backend
develop/mochi-backend
August 10, 2023 09:17 8m 16s
[WIP] Use MoCHi as back-end Main workflow #244: Pull request #36 synchronize by artoy
August 9, 2023 07:04 8m 18s develop/mochi-backend
develop/mochi-backend
August 9, 2023 07:04 8m 18s
move a test Main workflow #243: Commit 9188d59 pushed by artoy
August 9, 2023 07:04 9m 17s develop/mochi-backend
develop/mochi-backend
August 9, 2023 07:04 9m 17s
[WIP] Use MoCHi as back-end Main workflow #242: Pull request #36 synchronize by artoy
August 4, 2023 04:17 11m 23s develop/mochi-backend
develop/mochi-backend
August 4, 2023 04:17 11m 23s
support for pretty printing of alias Main workflow #241: Commit 1010212 pushed by artoy
August 4, 2023 04:17 9m 17s develop/mochi-backend
develop/mochi-backend
August 4, 2023 04:17 9m 17s
[WIP] Use MoCHi as back-end Main workflow #240: Pull request #36 synchronize by artoy
August 3, 2023 08:53 10m 5s develop/mochi-backend
develop/mochi-backend
August 3, 2023 08:53 10m 5s
implement alias_to_mochi Main workflow #239: Commit 06eb5da pushed by artoy
August 3, 2023 08:53 10m 38s develop/mochi-backend
develop/mochi-backend
August 3, 2023 08:53 10m 38s
[WIP] Use MoCHi as back-end Main workflow #238: Pull request #36 synchronize by artoy
August 3, 2023 04:46 8m 13s develop/mochi-backend
develop/mochi-backend
August 3, 2023 04:46 8m 13s
add test Main workflow #237: Commit 681da2e pushed by artoy
August 3, 2023 04:46 11m 4s develop/mochi-backend
develop/mochi-backend
August 3, 2023 04:46 11m 4s
[WIP] Use MoCHi as back-end Main workflow #236: Pull request #36 synchronize by artoy
July 31, 2023 04:36 11m 22s develop/mochi-backend
develop/mochi-backend
July 31, 2023 04:36 11m 22s
add a test Main workflow #235: Commit 800d909 pushed by artoy
July 31, 2023 04:36 9m 5s develop/mochi-backend
develop/mochi-backend
July 31, 2023 04:36 9m 5s
[WIP] Use MoCHi as back-end Main workflow #234: Pull request #36 synchronize by artoy
July 30, 2023 14:13 9m 18s develop/mochi-backend
develop/mochi-backend
July 30, 2023 14:13 9m 18s
WIP Main workflow #233: Commit 560c52e pushed by artoy
July 30, 2023 14:13 8m 6s develop/mochi-backend
develop/mochi-backend
July 30, 2023 14:13 8m 6s
[WIP] Use MoCHi as back-end Main workflow #232: Pull request #36 synchronize by artoy
July 30, 2023 02:03 11m 11s develop/mochi-backend
develop/mochi-backend
July 30, 2023 02:03 11m 11s
add patterns of IntList Main workflow #231: Commit b52b3ee pushed by artoy
July 30, 2023 02:03 12m 11s develop/mochi-backend
develop/mochi-backend
July 30, 2023 02:03 12m 11s
[WIP] Use MoCHi as back-end Main workflow #230: Pull request #36 synchronize by artoy
July 28, 2023 08:26 16m 17s develop/mochi-backend
develop/mochi-backend
July 28, 2023 08:26 16m 17s