Skip to content

Actions: logsem/gitrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

one/multi step rules Docker CI #203: Commit 1a28a03 pushed by Kaptch
13m 0s logrel
logrel
13m 0s
unsoundness fix Docker CI #202: Commit 74912c7 pushed by Kaptch
13m 15s logrel
logrel
13m 15s
unsoundness witness Docker CI #201: Commit d5f1412 pushed by Kaptch
12m 50s logrel
logrel
12m 50s
progress on logrel Docker CI #200: Commit c1bf29e pushed by Kaptch
12m 47s logrel
logrel
12m 47s
only parsing warnings left Docker CI #199: Commit 3e10060 pushed by Kaptch
13m 22s main
main
13m 22s
typo Docker CI #198: Commit 092acc1 pushed by Kaptch
13m 17s main
main
13m 17s
intro upd Docker CI #197: Commit df4874f pushed by Kaptch
13m 26s main
main
13m 26s
minor Docker CI #196: Commit ea9b16b pushed by Kaptch
13m 23s main
main
13m 23s
intro init Docker CI #195: Commit 3df0053 pushed by Kaptch
13m 10s main
main
13m 10s
CI version Docker CI #194: Commit c6c76cc pushed by Kaptch
13m 7s main
main
13m 7s
exceptions example upstream Docker CI #193: Commit b1d5d2b pushed by Kaptch
12m 58s main
main
12m 58s
conc adeq Docker CI #192: Commit b1fdc24 pushed by Kaptch
6m 45s concurrency
concurrency
6m 45s
version bump, wbwp for glue/delim, church sum Docker CI #191: Commit 2b684aa pushed by Kaptch
6m 45s delim_staging
delim_staging
6m 45s