Skip to content

Actions: anoma/nspec

Actions

clean up and delete PR previews

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clean-up.yaml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EVM PA Documentation Update clean up and delete PR previews #183: Pull request #387 closed by agureev
43s artem/pa-evm-update
artem/pa-evm-update
43s
docs: aggregation clean up and delete PR previews #182: Pull request #391 closed by jonaprieto
42s enrique/aggregation
enrique/aggregation
42s
Shielded RM spec clean up and delete PR previews #180: Pull request #390 closed by tg-x
41s yulia/shielded-spec
yulia/shielded-spec
41s
just to check github ci clean up and delete PR previews #179: Pull request #384 closed by tg-x
45s heindel/test-juvix-version-bug
heindel/test-juvix-version-bug
45s
Yulia/app data update clean up and delete PR previews #178: Pull request #386 closed by tg-x
45s yulia/app-data-update
yulia/app-data-update
45s
trigger CI clean up and delete PR previews #177: Pull request #389 closed by heindel
44s heindel/tmp
heindel/tmp
44s
docs: Add v0.2.0 changelog entry clean up and delete PR previews #176: Pull request #382 closed by jonaprieto
45s jonaprieto/update-changelog-v0.2.0
jonaprieto/update-changelog-v0.2.0
45s
feat(EVM-PA): use permalinks and small improvements clean up and delete PR previews #175: Pull request #374 closed by jonaprieto
39s michael/evm-pa-update
michael/evm-pa-update
39s
feat: implement interactive engine simulator with message passing support clean up and delete PR previews #174: Pull request #347 closed by jonaprieto
44s interactive-engines
interactive-engines
44s
feat: add engine simulator with message passing and pretty printing clean up and delete PR previews #173: Pull request #355 closed by jonaprieto
42s anthony/simulator
anthony/simulator
42s
refactor(docs): reorganize navigation in mkdocs.yml clean up and delete PR previews #172: Pull request #381 closed by jonaprieto
43s fix/snake-case-filenames-hook
fix/snake-case-filenames-hook
43s
Rename resourceLogicProofs to logicVerifierInputs clean up and delete PR previews #171: Pull request #369 closed by heindel
52s heindel/logic-verifier-input
heindel/logic-verifier-input
52s
Add protocol adapter integration pages clean up and delete PR previews #170: Pull request #356 closed by jonaprieto
1m 10s michael/evm-protocol-adapter
michael/evm-protocol-adapter
1m 10s
CI: remove redundant deployment clean up and delete PR previews #169: Pull request #367 closed by tg-x
1m 9s ci-deploy-fix
ci-deploy-fix
1m 9s
Update RM specs (post-HHH edition) clean up and delete PR previews #168: Pull request #359 closed by vveiln
52s yulia/hhh-spec-update
yulia/hhh-spec-update
52s
chore: update project configuration and tooling clean up and delete PR previews #167: Pull request #365 closed by jonaprieto
41s maintance
maintance
41s
chore(repo): remove pull request template clean up and delete PR previews #166: Pull request #364 closed by jonaprieto
33s remove-PR-template
remove-PR-template
33s
chore(ci): enforce pre-commit checks and remove auto-fix clean up and delete PR previews #165: Pull request #363 closed by jonaprieto
44s remove-pre-commit-ci
remove-pre-commit-ci
44s
Bump to sdtlib 0.11.0 and name convention used for user-defined data types clean up and delete PR previews #164: Pull request #361 closed by jonaprieto
1m 7s anthony/bump
anthony/bump
1m 7s
Bump to sdtlib 0.11.0 clean up and delete PR previews #163: Pull request #362 closed by AHartNtkn
16s anthony/bump
anthony/bump
16s
CI: deploy pages to another repo clean up and delete PR previews #162: Pull request #358 closed by tg-x
3s pages-repo
pages-repo
3s
CI: deploy pages to another repo clean up and delete PR previews #161: Pull request #358 synchronize by tg-x
1m 3s pages-repo
pages-repo
1m 3s
CI: deploy pages to another repo clean up and delete PR previews #160: Pull request #358 synchronize by tg-x
48s pages-repo
pages-repo
48s
fix/update github actions clean up and delete PR previews #159: Pull request #351 closed by tg-x
2m 21s gh-actions-update
gh-actions-update
2m 21s
fix/update github actions clean up and delete PR previews #158: Pull request #351 closed by tg-x
2m 27s gh-actions-update
gh-actions-update
2m 27s