Skip to content

Actions: therain7/OCamlTyEff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: highlight weird stuff in parser with some weird comments Build & test on Linux #200: Commit 3460279 pushed by therain7
December 1, 2024 21:27 7m 32s main
main
December 1, 2024 21:27 7m 32s
docs: highlight weird stuff in parser with some weird comments Build & test on Linux #199: Commit f5d4966 pushed by therain7
December 1, 2024 21:26 7m 57s docs/parse
docs/parse
December 1, 2024 21:26 7m 57s
refactor: rename libs to avoid conflicts with stdlib Build & test on Linux #198: Commit 3d33762 pushed by therain7
December 1, 2024 21:08 7m 36s feat/new-parser
feat/new-parser
December 1, 2024 21:08 7m 36s
ci: install locked deps Build & test on Linux #197: Commit c1f8eb9 pushed by therain7
October 12, 2024 14:58 8m 26s main
main
October 12, 2024 14:58 8m 26s
ci: install locked deps Build & test on Linux #196: Commit b9d9b2e pushed by therain7
October 12, 2024 14:50 4m 24s chore/lock-depends
chore/lock-depends
October 12, 2024 14:50 4m 24s
ci: install locked deps Build & test on Linux #195: Commit e1a925b pushed by therain7
October 12, 2024 14:40 4m 22s chore/lock-depends
chore/lock-depends
October 12, 2024 14:40 4m 22s
chore: lock all dependencies Build & test on Linux #194: Commit ca66424 pushed by therain7
October 12, 2024 13:33 8m 24s chore/lock-depends
chore/lock-depends
October 12, 2024 13:33 8m 24s
chore: bump ocamlformat version Build & test on Linux #193: Commit 4375f9e pushed by therain7
October 12, 2024 13:24 5m 45s fix/angstrom-ver
fix/angstrom-ver
October 12, 2024 13:24 5m 45s
chore: bump ocamlformat version Build & test on Linux #192: Commit a1c3836 pushed by therain7
October 12, 2024 13:17 7m 12s fix/angstrom-ver
fix/angstrom-ver
October 12, 2024 13:17 7m 12s
chore: update date in LICENSE Build & test on Linux #191: Commit 35ae5fc pushed by therain7
October 12, 2024 12:07 9m 43s ci-test
ci-test
October 12, 2024 12:07 9m 43s
chore: update date in LICENSE Build & test on Linux #190: Commit afc0a7f pushed by therain7
February 26, 2024 23:10 8m 33s main
main
February 26, 2024 23:10 8m 33s
chore: update date in LICENSE Build & test on Linux #189: Commit d7122a2 pushed by therain7
February 26, 2024 22:38 5m 19s letsgo
letsgo
February 26, 2024 22:38 5m 19s
docs: update LICENSE Build & test on Linux #188: Commit 331cfb7 pushed by therain7
February 26, 2024 22:17 5m 9s letsgo
letsgo
February 26, 2024 22:17 5m 9s
docs: update LICENSE Build & test on Linux #187: Commit 8cf0099 pushed by therain7
February 26, 2024 22:17 5m 13s letsgo
letsgo
February 26, 2024 22:17 5m 13s
docs: update README Build & test on Linux #186: Commit 944b684 pushed by therain7
February 26, 2024 20:16 5m 51s letsgo
letsgo
February 26, 2024 20:16 5m 51s
docs: update README Build & test on Linux #185: Commit 81cbf07 pushed by therain7
February 26, 2024 19:55 5m 35s letsgo
letsgo
February 26, 2024 19:55 5m 35s
docs: update README Build & test on Linux #184: Commit 01ec742 pushed by therain7
February 26, 2024 19:53 5m 17s letsgo
letsgo
February 26, 2024 19:53 5m 17s
test: cram tests for examples Build & test on Linux #183: Commit d3095e5 pushed by therain7
February 26, 2024 18:14 5m 22s letsgo
letsgo
February 26, 2024 18:14 5m 22s
feat: add hylomorphisms example Build & test on Linux #182: Commit f994dd9 pushed by therain7
February 26, 2024 16:59 5m 17s letsgo
letsgo
February 26, 2024 16:59 5m 17s
feat: add histomorphisms example Build & test on Linux #181: Commit 674fa37 pushed by therain7
February 26, 2024 14:05 5m 18s letsgo
letsgo
February 26, 2024 14:05 5m 18s
feat: add examples Build & test on Linux #180: Commit 4e78490 pushed by therain7
February 26, 2024 02:50 5m 11s letsgo
letsgo
February 26, 2024 02:50 5m 11s
fix(parse): assignment operator Build & test on Linux #179: Commit f76636d pushed by therain7
February 24, 2024 18:10 5m 23s letsgo
letsgo
February 24, 2024 18:10 5m 23s
test: eval Build & test on Linux #178: Commit 33007fd pushed by therain7
February 24, 2024 18:10 39s letsgo
letsgo
February 24, 2024 18:10 39s
test: eval Build & test on Linux #177: Commit 2d203f9 pushed by therain7
February 24, 2024 18:09 1m 1s letsgo
letsgo
February 24, 2024 18:09 1m 1s
fix(repl): completion on new line Build & test on Linux #176: Commit c7848a7 pushed by therain7
February 23, 2024 16:26 5m 30s letsgo
letsgo
February 23, 2024 16:26 5m 30s