Skip to content

Actions: anoma/anoma

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on base Push On Main/Next/Base #56: Commit f65074e pushed by agureev
3m 4s base
base
3m 4s
Push on terence/inductive-inductive-types Push #823: Commit 2de35a9 pushed by rokopt
3m 55s terence/inductive-inductive-types
terence/inductive-inductive-types
3m 55s
Push on terence/inductive-inductive-types Push #822: Commit 494a371 pushed by rokopt
2m 15s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 15s
Push on terence/inductive-inductive-types Push #821: Commit b41d621 pushed by rokopt
2m 47s terence/inductive-inductive-types
terence/inductive-inductive-types
2m 47s
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