Skip to content

Actions: logsem/gitrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version bump, wbwp for glue/delim, church sum Docker CI #191: Commit 2b684aa pushed by Kaptch
December 12, 2024 11:44 6m 45s delim_staging
delim_staging
December 12, 2024 11:44 6m 45s
Merge pull request #5 from GhastlyGhast/except_lang Docker CI #190: Commit 264ebbb pushed by Kaptch
September 24, 2024 11:16 13m 22s main
main
September 24, 2024 11:16 13m 22s
bump Docker CI #188: Commit d7a5f5c pushed by Kaptch
July 30, 2024 10:42 13m 27s delim_staging
delim_staging
July 30, 2024 10:42 13m 27s
rm comments Docker CI #187: Commit e54d14e pushed by Kaptch
July 9, 2024 23:35 15m 4s delim_staging
delim_staging
July 9, 2024 23:35 15m 4s
bump example Docker CI #186: Commit 1738ebc pushed by Kaptch
July 9, 2024 23:18 14m 4s delim_staging
delim_staging
July 9, 2024 23:18 14m 4s
lang from the text Docker CI #185: Commit 4bbed45 pushed by Kaptch
July 9, 2024 21:12 14m 6s delim_staging
delim_staging
July 9, 2024 21:12 14m 6s
ffi fix (wrong typing rule) Docker CI #184: Commit 8e8b900 pushed by Kaptch
June 27, 2024 17:38 12m 41s delim_staging
delim_staging
June 27, 2024 17:38 12m 41s
Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_… Docker CI #183: Commit 78ce373 pushed by Kaptch
June 24, 2024 18:53 17m 34s delim_staging
delim_staging
June 24, 2024 18:53 17m 34s
Merge branch 'delim_staging' of github.com:logsem/gitrees into delim_… Docker CI #182: Commit cec01ba pushed by Kaptch
June 24, 2024 18:23 21m 11s delim_staging
delim_staging
June 24, 2024 18:23 21m 11s
tweaks Docker CI #181: Commit 0a1c177 pushed by co-dan
June 24, 2024 08:59 12m 8s main
main
June 24, 2024 08:59 12m 8s
fix the .opam file Docker CI #180: Commit 5b95d20 pushed by co-dan
June 23, 2024 17:55 12m 10s main
main
June 23, 2024 17:55 12m 10s
Merge pull request #4 from logsem/delim_staging Docker CI #179: Commit 421eb90 pushed by co-dan
June 23, 2024 17:52 12m 12s main
main
June 23, 2024 17:52 12m 12s
Delimited continuations Docker CI #178: Pull request #4 synchronize by co-dan
June 23, 2024 17:39 12m 7s delim_staging
delim_staging
June 23, 2024 17:39 12m 7s
fix hom issues Docker CI #177: Commit b91709c pushed by co-dan
June 23, 2024 17:39 12m 18s delim_staging
delim_staging
June 23, 2024 17:39 12m 18s
Delimited continuations Docker CI #176: Pull request #4 synchronize by co-dan
June 23, 2024 17:13 9m 26s delim_staging
delim_staging
June 23, 2024 17:13 9m 26s
more cleaning up Docker CI #175: Commit 63af674 pushed by co-dan
June 23, 2024 17:13 9m 14s delim_staging
delim_staging
June 23, 2024 17:13 9m 14s
Delimited continuations Docker CI #174: Pull request #4 synchronize by co-dan
June 18, 2024 07:21 9m 16s delim_staging
delim_staging
June 18, 2024 07:21 9m 16s
a bit of cleaning Docker CI #173: Commit b33aa39 pushed by co-dan
June 18, 2024 07:21 9m 17s delim_staging
delim_staging
June 18, 2024 07:21 9m 17s
Delimited continuations Docker CI #172: Pull request #4 synchronize by Kaptch
June 12, 2024 10:20 22m 20s delim_staging
delim_staging
June 12, 2024 10:20 22m 20s
missing notation Docker CI #171: Commit 179a0f0 pushed by Kaptch
June 12, 2024 10:20 22m 6s delim_staging
delim_staging
June 12, 2024 10:20 22m 6s
Delimited continuations Docker CI #170: Pull request #4 opened by Kaptch
June 11, 2024 22:12 22m 26s delim_staging
delim_staging
June 11, 2024 22:12 22m 26s
minor fixes Docker CI #169: Commit 39c6ddf pushed by Kaptch
June 11, 2024 17:28 22m 33s delim_staging
delim_staging
June 11, 2024 17:28 22m 33s
delim logrel: shift/reset, adequacy Docker CI #168: Commit 9a43123 pushed by Kaptch
June 7, 2024 14:00 18m 19s delim_staging
delim_staging
June 7, 2024 14:00 18m 19s
binary rel stub Docker CI #167: Commit 435bb1a pushed by Kaptch
June 6, 2024 21:35 18m 52s delim_staging
delim_staging
June 6, 2024 21:35 18m 52s
l->r cbv, compat for app Docker CI #166: Commit b529277 pushed by Kaptch
June 5, 2024 00:37 18m 26s delim_staging
delim_staging
June 5, 2024 00:37 18m 26s