Skip to content

Actions: anoma/anoma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,147 workflow runs
2,147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on terence/inductive-inductive-types Push #820: Commit 2022b09 pushed by rokopt
3m 14s terence/inductive-inductive-types
terence/inductive-inductive-types
3m 14s
Push on terence/inductive-inductive-types Push #819: Commit 5c8fb2c pushed by rokopt
2m 3s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 3s
Push on terence/inductive-inductive-types Push #818: Commit cdf48b5 pushed by rokopt
2m 28s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 28s
Push on terence/inductive-inductive-types Push #817: Commit 3bfb151 pushed by rokopt
3m 2s terence/inductive-inductive-types
terence/inductive-inductive-types
3m 2s
Push on terence/inductive-inductive-types Push #816: Commit 38263b6 pushed by rokopt
15m 51s terence/inductive-inductive-types
terence/inductive-inductive-types
15m 51s
Pull request mariari/fix-compling into base Pull Request #548: Pull request #2087 opened by mariari
9m 52s mariari/fix-compling
mariari/fix-compling
9m 52s
Pull request xuyang/cairo_rm_v3 into base Pull Request #547: Pull request #2071 synchronize by XuyangSong
6m 14s xuyang/cairo_rm_v3
xuyang/cairo_rm_v3
6m 14s
Push on xuyang/cairo_rm_v3 Push #815: Commit d69e39e pushed by XuyangSong
7m 25s xuyang/cairo_rm_v3
xuyang/cairo_rm_v3
7m 25s
Pull request xuyang/cairo_rm_v3 into base Pull Request #546: Pull request #2071 synchronize by XuyangSong
8m 36s xuyang/cairo_rm_v3
xuyang/cairo_rm_v3
8m 36s
Push on xuyang/cairo_rm_v3 Push #814: Commit 0022a41 pushed by XuyangSong
6m 12s xuyang/cairo_rm_v3
xuyang/cairo_rm_v3
6m 12s
Pull request artem/stdlib-trmv3 into base Pull Request #545: Pull request #2084 opened by agureev
9m 52s artem/stdlib-trmv3
artem/stdlib-trmv3
9m 52s
Push on artem/stdlib-trmv3 Push #813: Commit a353a07 pushed by agureev
10m 9s artem/stdlib-trmv3
artem/stdlib-trmv3
10m 9s
Push on m1dnight/anoma-app-testbranch Push #812: Commit 27a7e28 pushed by m1dnight
4m 57s m1dnight/anoma-app-testbranch
m1dnight/anoma-app-testbranch
4m 57s
Push on m1dnight/anoma-app-testbranch Push #811: Commit 3ed354a pushed by m1dnight
4m 36s m1dnight/anoma-app-testbranch
m1dnight/anoma-app-testbranch
4m 36s
Push on m1dnight/anoma-app-testbranch Push #810: Commit 74cf53d pushed by m1dnight
2m 44s m1dnight/anoma-app-testbranch
m1dnight/anoma-app-testbranch
2m 44s
Push on m1dnight/anoma-app-testbranch Push #809: Commit fc5c43f pushed by m1dnight
2m 30s m1dnight/anoma-app-testbranch
m1dnight/anoma-app-testbranch
2m 30s
Pull request artem/trm-v3 into base Pull Request #544: Pull request #2082 synchronize by agureev
5m 20s artem/trm-v3
artem/trm-v3
5m 20s
Push on artem/trm-v3 Push #808: Commit e597670 pushed by agureev
5m 9s artem/trm-v3
artem/trm-v3
5m 9s
Pull request artem/trm-v3 into base Pull Request #543: Pull request #2082 synchronize by agureev
6m 12s artem/trm-v3
artem/trm-v3
6m 12s
Push on artem/trm-v3 Push #807: Commit 2dd6139 pushed by agureev
6m 11s artem/trm-v3
artem/trm-v3
6m 11s
Pull request artem/trm-v3 into base Pull Request #542: Pull request #2082 opened by agureev
9m 47s artem/trm-v3
artem/trm-v3
9m 47s
Push on artem/trm-v3 Push #806: Commit 38b594a pushed by agureev
10m 34s artem/trm-v3
artem/trm-v3
10m 34s
Push on m1dnight/anoma-app-testbranch Push #805: Commit 492aafb pushed by m1dnight
6m 53s m1dnight/anoma-app-testbranch
m1dnight/anoma-app-testbranch
6m 53s
Pull request m1dnight/kudos-examples into base Pull Request #541: Pull request #2049 synchronize by m1dnight
11m 0s m1dnight/kudos-examples
m1dnight/kudos-examples
11m 0s
Push on m1dnight/kudos-examples Push #804: Commit 6e3da80 pushed by m1dnight
8m 7s m1dnight/kudos-examples
m1dnight/kudos-examples
8m 7s