Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tezos
Michelson Reference
Repository
Branches
Overview
Active
Stale
All
docker
5042edca
·
Build docker in CI
·
Dec 18, 2019
fix-docker
aa71564b
·
Fix docker
·
Jan 09, 2020
julien@CI-check-json-fixed-json
2ec4cde0
·
[CI] check that commited michelson.json is up-to-date with michelson.ott
·
Feb 19, 2020
julien@CI-check-json-broken-json
08bc9375
·
[CI] check that commited michelson.json is up-to-date with michelson.ott
·
Feb 19, 2020
arvid__document_contract_self
ee82e063
·
CONTRACT: add examples with entrypoint
·
Mar 11, 2020
arvid__fix_description_ediv
09e39d98
·
EDIV: Fix the description of the reminder results
·
Mar 11, 2020
arvid__add_AND_int_nat
5af7a911
·
AND: add case AND int nat
·
Mar 11, 2020
re-organize-clean-rewrite
5a9769dd
·
Clean before building Docker
·
Mar 26, 2020
publish-tezos.gitlab.io-michelson
b3175ef9
·
WIP: publish michelson interactive reference on tezos.gitlab.io
·
Aug 14, 2020
re-organize
210b31bb
·
fixup! Update README.org with build, test and modification instructions
·
Aug 14, 2020
test
9da6e304
·
Dockerfile: single-layer opam dependencies
·
Aug 19, 2020
arvid@test-ci-docker-new-repo
134b8693
·
ci-test: publish docker image on all branches
·
Aug 19, 2020
arvid@reorg-3-documentation-tests-fix-tests
be1f3b31
·
Lint and typecheck in CI
·
Sep 07, 2020
arvid@add-modified-in-field
ac0a3d72
·
TMP: example modified in entry
·
Dec 15, 2020
!44
arvid@rafoo@edo_update
dde8526c
·
small fixes to ott and yaml
·
Dec 16, 2020
arvid@fix-search-keys
4a99a9fd
·
Fix backwards cycling through search results
·
Feb 08, 2023
!64
julien@rafoo@detailed_attributes
cae2b92b
·
smaller "maybe" cells padding
·
Mar 14, 2023
julien@CI-check-comitted-files
d675958f
·
[CI] Actually check that generated files are properly committed
·
Mar 15, 2023
naih@use-push
89aaa8f6
·
Use 'push' in the documentation of TOTAL_VOTING_POWER.
·
Mar 30, 2023
rafoo@fix_tests
df2ddc0a
·
Tests: fix pattern for attempting to type check an ill-typed script
·
May 22, 2023
Prev
1
2
Next