Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/consort

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
75 workflow runs
75 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