Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/consort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Use MoCHi as back-end Main workflow #329: Pull request #36 synchronize by artoy
March 21, 2024 07:43 5m 44s develop/mochi-backend
develop/mochi-backend
March 21, 2024 07:43 5m 44s
Merge pull request #41 from SoftwareFoundationGroupAtKyotoU/feature/c… Main workflow #328: Commit b17ea89 pushed by artoy
March 21, 2024 07:43 9m 30s develop/mochi-backend
develop/mochi-backend
March 21, 2024 07:43 9m 30s
[WIP] Call MoCHi automatically Main workflow #327: Pull request #41 synchronize by artoy
March 21, 2024 07:43 9m 12s feature/call-mochi
feature/call-mochi
March 21, 2024 07:43 9m 12s
add comment Main workflow #326: Commit 088f7ee pushed by artoy
March 21, 2024 07:43 5m 43s feature/call-mochi
feature/call-mochi
March 21, 2024 07:43 5m 43s
[WIP] Call MoCHi automatically Main workflow #325: Pull request #41 synchronize by artoy
March 21, 2024 06:52 6m 44s feature/call-mochi
feature/call-mochi
March 21, 2024 06:52 6m 44s
call mochi Main workflow #324: Commit 130d1ec pushed by artoy
March 21, 2024 06:52 11m 36s feature/call-mochi
feature/call-mochi
March 21, 2024 06:52 11m 36s
[WIP] Call MoCHi automatically Main workflow #323: Pull request #41 synchronize by artoy
March 21, 2024 06:46 6m 26s feature/call-mochi
feature/call-mochi
March 21, 2024 06:46 6m 26s
Merge branch 'develop/mochi-backend' of github.com:SoftwareFoundation… Main workflow #322: Commit 426c77d pushed by artoy
March 21, 2024 06:46 10m 21s feature/call-mochi
feature/call-mochi
March 21, 2024 06:46 10m 21s
[WIP] Use MoCHi as back-end Main workflow #321: Pull request #36 synchronize by artoy
March 21, 2024 05:57 6m 19s develop/mochi-backend
develop/mochi-backend
March 21, 2024 05:57 6m 19s
fix calculation of ownership Main workflow #320: Commit c44a49a pushed by artoy
March 21, 2024 05:57 6m 33s develop/mochi-backend
develop/mochi-backend
March 21, 2024 05:57 6m 33s
[WIP] Use MoCHi as back-end Main workflow #319: Pull request #36 synchronize by artoy
March 20, 2024 15:42 12m 38s develop/mochi-backend
develop/mochi-backend
March 20, 2024 15:42 12m 38s
wip Main workflow #318: Commit bcdd83e pushed by artoy
March 20, 2024 15:40 9m 29s develop/mochi-backend
develop/mochi-backend
March 20, 2024 15:40 9m 29s
[WIP] Use MoCHi as back-end Main workflow #317: Pull request #36 synchronize by artoy
March 20, 2024 03:01 6m 25s develop/mochi-backend
develop/mochi-backend
March 20, 2024 03:01 6m 25s
wip Main workflow #316: Commit 3d5a9b8 pushed by artoy
March 20, 2024 03:01 12m 1s develop/mochi-backend
develop/mochi-backend
March 20, 2024 03:01 12m 1s
[WIP] Use MoCHi as back-end Main workflow #315: Pull request #36 synchronize by artoy
March 19, 2024 02:18 15m 52s develop/mochi-backend
develop/mochi-backend
March 19, 2024 02:18 15m 52s
update Main workflow #314: Commit 6eabb96 pushed by artoy
March 19, 2024 02:18 12m 48s develop/mochi-backend
develop/mochi-backend
March 19, 2024 02:18 12m 48s
Add incr_twice.imp Main workflow #313: Commit dc1da24 pushed by 0npv527yh9
January 30, 2024 08:37 7m 40s concurrency
concurrency
January 30, 2024 08:37 7m 40s
Fix testfile Main workflow #312: Commit 9491572 pushed by 0npv527yh9
January 30, 2024 07:48 15m 9s concurrency
concurrency
January 30, 2024 07:48 15m 9s
Update walk_type for lock and tid Main workflow #311: Commit 288bcf0 pushed by 0npv527yh9
January 5, 2024 09:43 13m 42s concurrency
concurrency
January 5, 2024 09:43 13m 42s
[WIP] Use MoCHi as back-end Main workflow #310: Pull request #36 synchronize by artoy
November 30, 2023 08:50 13m 21s develop/mochi-backend
develop/mochi-backend
November 30, 2023 08:50 13m 21s
add test files Main workflow #309: Commit b0b5055 pushed by artoy
November 30, 2023 08:50 19m 13s develop/mochi-backend
develop/mochi-backend
November 30, 2023 08:50 19m 13s
Fix is_rec_assign bug in simpleChecker.ml Main workflow #308: Pull request #43 opened by 0npv527yh9
November 8, 2023 05:05 16m 28s bugfix/simplechecker-recursive
bugfix/simplechecker-recursive
November 8, 2023 05:05 16m 28s
Fix is_rec_assign bug in simpleChecker.ml Main workflow #307: Commit c167a6f pushed by 0npv527yh9
November 8, 2023 05:01 14m 51s bugfix/simplechecker-recursive
bugfix/simplechecker-recursive
November 8, 2023 05:01 14m 51s
[WIP] Call MoCHi automatically Main workflow #306: Pull request #41 synchronize by artoy
November 7, 2023 05:51 6m 52s feature/call-mochi
feature/call-mochi
November 7, 2023 05:51 6m 52s
comment out Main workflow #305: Commit 70d776e pushed by artoy
November 7, 2023 05:51 17m 36s feature/call-mochi
feature/call-mochi
November 7, 2023 05:51 17m 36s