Actions: anoma/anoma
Actions
Showing runs from all workflows
2,413 workflow runs
2,413 workflow runs
base
Push On Main/Next/Base
#56:
Commit f65074e
pushed
by
agureev
terence/inductive-inductive-types
Push
#823:
Commit 2de35a9
pushed
by
rokopt
terence/inductive-inductive-types
Push
#822:
Commit 494a371
pushed
by
rokopt
terence/inductive-inductive-types
Push
#821:
Commit b41d621
pushed
by
rokopt
terence/inductive-inductive-types
Push
#820:
Commit 2022b09
pushed
by
rokopt
terence/inductive-inductive-types
Push
#819:
Commit 5c8fb2c
pushed
by
rokopt
terence/inductive-inductive-types
Push
#818:
Commit cdf48b5
pushed
by
rokopt
terence/inductive-inductive-types
Push
#817:
Commit 3bfb151
pushed
by
rokopt
terence/inductive-inductive-types
Push
#816:
Commit 38263b6
pushed
by
rokopt
mariari/fix-compling
into base
Pull Request
#548:
Pull request #2087
opened
by
mariari
xuyang/cairo_rm_v3
into base
Pull Request
#547:
Pull request #2071
synchronize
by
XuyangSong
xuyang/cairo_rm_v3
Push
#815:
Commit d69e39e
pushed
by
XuyangSong
xuyang/cairo_rm_v3
into base
Pull Request
#546:
Pull request #2071
synchronize
by
XuyangSong
xuyang/cairo_rm_v3
Push
#814:
Commit 0022a41
pushed
by
XuyangSong
artem/stdlib-trmv3
into base
Pull Request
#545:
Pull request #2084
opened
by
agureev
artem/stdlib-trmv3
Push
#813:
Commit a353a07
pushed
by
agureev
m1dnight/anoma-app-testbranch
Push
#812:
Commit 27a7e28
pushed
by
m1dnight
m1dnight/anoma-app-testbranch
Push
#811:
Commit 3ed354a
pushed
by
m1dnight
m1dnight/anoma-app-testbranch
Push
#810:
Commit 74cf53d
pushed
by
m1dnight
m1dnight/anoma-app-testbranch
Push
#809:
Commit fc5c43f
pushed
by
m1dnight
artem/trm-v3
into base
Pull Request
#544:
Pull request #2082
synchronize
by
agureev
artem/trm-v3
Push
#808:
Commit e597670
pushed
by
agureev
artem/trm-v3
into base
Pull Request
#543:
Pull request #2082
synchronize
by
agureev