Actions: anoma/anoma
Actions
Showing runs from all workflows
2,147 workflow runs
2,147 workflow runs
m1dnight/kudos-examples into base
Pull Request
#541:
Pull request #2049
synchronize
by
m1dnight
m1dnight/kudos-examples
Push
#804:
Commit 6e3da80
pushed
by
m1dnight
murisi/release-anoma-client-rebased into base
Pull Request
#540:
Pull request #2070
synchronize
by
murisi
murisi/release-anoma-client-rebased
Push
#803:
Commit 42257e1
pushed
by
murisi
murisi/release-anoma-client-rebased into base
Pull Request
#539:
Pull request #2070
synchronize
by
murisi
murisi/release-anoma-client-rebased
Push
#802:
Commit ccf4227
pushed
by
murisi
artem/nock-kind-arg-change
Push
#801:
Commit bdb45b5
pushed
by
agureev
murisi/release-anoma-client-rebased into base
Pull Request
#538:
Pull request #2070
synchronize
by
murisi
murisi/release-anoma-client-rebased
Push
#800:
Commit 0dfe507
pushed
by
murisi
lukasz/juvix-ci-stable
Push
#799:
Commit c8c2a38
pushed
by
lukaszcz
mariari/enock-return-types into base
Pull Request
#537:
Pull request #2079
opened
by
mariari
mariari/enock-return-types
Push
#798:
Commit 1f92cae
pushed
by
mariari
mariari/make-enock-examples-meaningful into base
Pull Request
#536:
Pull request #2078
synchronize
by
mariari
mariari/make-enock-examples-meaningful
Push
#797:
Commit 31d73b0
pushed
by
mariari
mariari/make-enock-examples-meaningful into base
Pull Request
#535:
Pull request #2078
opened
by
mariari
mariari/make-enock-examples-meaningful
Push
#796:
Commit de182e0
pushed
by
mariari
mariari/fixup-eprove-equality into base
Pull Request
#534:
Pull request #2077
opened
by
mariari
mariari/fixup-eprove-equality
Push
#795:
Commit 4a47b95
pushed
by
mariari
mariari/fixup-eprove-examples into base
Pull Request
#533:
Pull request #2076
opened
by
mariari
mariari/fixup-eprove-examples
Push
#794:
Commit 6b0e631
pushed
by
mariari
v0.34-rc1 into base
Pull Request
#532:
Pull request #2074
synchronize
by
mariari
v0.34-rc1 into base
Pull Request
#531:
Pull request #2074
opened
by
mariari