Skip to content

Actions: logsem/gitrees

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work re: contexts as stacks Docker CI #90: Commit d2148b4 pushed by dranamme
January 5, 2024 16:49 7m 17s delim-cont
delim-cont
January 5, 2024 16:49 7m 17s
Files + First ideas on ope semantics Docker CI #89: Commit 6d384ef pushed by dranamme
January 5, 2024 13:49 7m 35s delim-cont
delim-cont
January 5, 2024 13:49 7m 35s
comments Docker CI #88: Commit 167a7b0 pushed by dranamme
December 20, 2023 14:21 10m 11s delim-cont
delim-cont
December 20, 2023 14:21 10m 11s
ctx-dependent effects Docker CI #87: Pull request #2 synchronize by Kaptch
December 15, 2023 18:14 10m 14s callcc-non-cps
callcc-non-cps
December 15, 2023 18:14 10m 14s
comments Docker CI #86: Commit 167a7b0 pushed by Kaptch
December 15, 2023 18:14 11m 16s callcc-non-cps
callcc-non-cps
December 15, 2023 18:14 11m 16s
ctx-dependent effects Docker CI #85: Pull request #2 synchronize by dranamme
December 15, 2023 16:50 10m 16s callcc-non-cps
callcc-non-cps
December 15, 2023 16:50 10m 16s
remove problematic solve_proper Docker CI #84: Commit a3b9b82 pushed by dranamme
December 15, 2023 16:50 9m 36s callcc-non-cps
callcc-non-cps
December 15, 2023 16:50 9m 36s
remove problematic solve_proper Docker CI #83: Commit a3b9b82 pushed by dranamme
December 15, 2023 16:39 10m 0s test-version
test-version
December 15, 2023 16:39 10m 0s
coq 8.18 Docker CI #82: Commit 5ea4b47 pushed by dranamme
December 15, 2023 16:14 7m 50s test-version
test-version
December 15, 2023 16:14 7m 50s
ctx-dependent effects Docker CI #81: Pull request #2 synchronize by dranamme
December 15, 2023 13:54 8m 6s callcc-non-cps
callcc-non-cps
December 15, 2023 13:54 8m 6s
Fixing some proofs re new reifiers Docker CI #80: Commit 6159a22 pushed by dranamme
December 15, 2023 13:54 8m 11s callcc-non-cps
callcc-non-cps
December 15, 2023 13:54 8m 11s
ctx-dependent effects Docker CI #79: Pull request #2 synchronize by dranamme
December 15, 2023 13:26 8m 9s callcc-non-cps
callcc-non-cps
December 15, 2023 13:26 8m 9s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #78: Commit 4e7d6a8 pushed by dranamme
December 15, 2023 13:26 8m 21s callcc-non-cps
callcc-non-cps
December 15, 2023 13:26 8m 21s
ctx-dependent effects Docker CI #77: Pull request #2 synchronize by Kaptch
December 14, 2023 13:40 9m 55s callcc-non-cps
callcc-non-cps
December 14, 2023 13:40 9m 55s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #76: Commit 13a0441 pushed by Kaptch
December 14, 2023 13:40 10m 9s callcc-non-cps
callcc-non-cps
December 14, 2023 13:40 10m 9s
ctx-dependent effects Docker CI #75: Pull request #2 synchronize by dranamme
December 14, 2023 13:35 7m 43s callcc-non-cps
callcc-non-cps
December 14, 2023 13:35 7m 43s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #74: Commit 2cc1911 pushed by dranamme
December 14, 2023 13:35 7m 50s callcc-non-cps
callcc-non-cps
December 14, 2023 13:35 7m 50s
ctx-dependent effects Docker CI #73: Pull request #2 synchronize by Kaptch
December 14, 2023 12:59 7m 50s callcc-non-cps
callcc-non-cps
December 14, 2023 12:59 7m 50s
compat nat Docker CI #72: Commit 1c5a26e pushed by Kaptch
December 14, 2023 12:59 7m 43s callcc-non-cps
callcc-non-cps
December 14, 2023 12:59 7m 43s
ctx-dependent effects Docker CI #71: Pull request #2 synchronize by Kaptch
December 14, 2023 12:56 7m 59s callcc-non-cps
callcc-non-cps
December 14, 2023 12:56 7m 59s
move HOM out Docker CI #70: Commit 5632aaa pushed by Kaptch
December 14, 2023 12:56 7m 40s callcc-non-cps
callcc-non-cps
December 14, 2023 12:56 7m 40s
callcc Docker CI #69: Commit 9b442f7 pushed by dranamme
December 14, 2023 09:22 10m 19s callcc-non-cps
callcc-non-cps
December 14, 2023 09:22 10m 19s
throw Docker CI #68: Commit 83f01e1 pushed by dranamme
December 12, 2023 10:31 9m 54s callcc-non-cps
callcc-non-cps
December 12, 2023 10:31 9m 54s
last admits, delete redundant lemmas, upd todo Docker CI #67: Commit 247d0db pushed by Kaptch
December 11, 2023 16:29 10m 9s callcc-non-cps
callcc-non-cps
December 11, 2023 16:29 10m 9s
Merge branch 'callcc-non-cps' of github.com:logsem/gitrees into callc… Docker CI #66: Commit 53af87e pushed by Kaptch
December 11, 2023 15:57 10m 20s callcc-non-cps
callcc-non-cps
December 11, 2023 15:57 10m 20s