Skip to content

Actions: joaosreis/tezla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor type definitions in adt.ml to remove redundant deriving clauses Build and test #20: Commit e640c17 pushed by joaosreis
January 19, 2025 11:20 31s main
main
January 19, 2025 11:20 31s
Reformat Build and test #19: Commit ab7609e pushed by joaosreis
January 18, 2025 16:13 26s main
main
January 18, 2025 16:13 26s
Add ord derivation to ADT types Build and test #18: Commit 72c326f pushed by joaosreis
January 13, 2025 18:05 22s main
main
January 13, 2025 18:05 22s
Update pin-dependencies for michelson-adt and michelson-parser to spe… Build and test #17: Commit 4caf4ed pushed by joaosreis
January 12, 2025 20:05 24s main
main
January 12, 2025 20:05 24s
Update michelson-parser dependency to a specific commit Build and test #16: Commit 1ae94d4 pushed by joaosreis
January 12, 2025 20:01 29s main
main
January 12, 2025 20:01 29s
Update pin-dependencies in tezla.opam and tezla.opam.template to remo… Build and test #15: Commit 211f80a pushed by joaosreis
January 12, 2025 20:00 21s main
main
January 12, 2025 20:00 21s
Reformat code Build and test #14: Commit d38544b pushed by joaosreis
January 12, 2025 19:53 25s main
main
January 12, 2025 19:53 25s