Skip to content

Actions: cfr42/prooftrees

Actions

Automatic Checks for prooftrees

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

memoize-ext : fix memoize option passing for memoize-ext-debug
Automatic Checks for prooftrees #202: Commit a0f062f pushed by cfr42
9m 44s devel
memoize-ext : be a bit more cautious, even on pdflatex
Automatic Checks for prooftrees #201: Commit e360076 pushed by cfr42
8m 41s devel
memoize-ext : please could you direct me to the nearest black hole?
Automatic Checks for prooftrees #198: Commit 0d9515e pushed by cfr42
25m 55s devel
memoize-ext : typos in some fn names in user docs
Automatic Checks for prooftrees #197: Commit cd3471b pushed by cfr42
8m 44s devel
memoize-ext : pre-tag memoize with v0.3.5 this time ...
Automatic Checks for prooftrees #195: Commit fb65220 pushed by cfr42
9m 23s main
memoize-ext : pre-tag v0.3.4
Automatic Checks for prooftrees #194: Commit 838fe0a pushed by cfr42
9m 10s devel
memoize-ext needs rpgicons for tests
Automatic Checks for prooftrees #190: Commit 910d903 pushed by cfr42
12m 15s main
memoize-ext needs rpgicons for tests
Automatic Checks for prooftrees #189: Commit 910d903 pushed by cfr42
11m 40s devel
memoize-ext tests for rpgicons need python extractor
Automatic Checks for prooftrees #188: Commit f64bc7a pushed by cfr42
9m 52s main
memoize-ext tests for rpgicons need python extractor
Automatic Checks for prooftrees #187: Commit f64bc7a pushed by cfr42
9m 6s devel
memoize-ext : update draw tlg
Automatic Checks for prooftrees #186: Commit e957894 pushed by cfr42
memoize-ext : add in-text tag for l3draw changes
Automatic Checks for prooftrees #184: Commit e1bebca pushed by cfr42
9m 11s rpgicons
in-file tags for memoize-ext 0.3.4
Automatic Checks for prooftrees #182: Commit d9f1a2e pushed by cfr42
in-file tags for memoize-ext 0.3.4
Automatic Checks for prooftrees #181: Commit d9f1a2e pushed by cfr42
9m 4s devel
in-file tags for memoize-ext 0.3.4
Automatic Checks for prooftrees #180: Commit d9f1a2e pushed by cfr42
8m 52s main
memoize-ext: update draw tlg
Automatic Checks for prooftrees #179: Commit 92e0bc0 pushed by cfr42
9m 33s devel
insert tag for memoize-ext v0.3.3
Automatic Checks for prooftrees #178: Commit 38c6a85 pushed by cfr42