Skip to content

Actions: cfr42/prooftrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1192045682 Dependabot Updates #66: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1187557136 Dependabot Updates #65: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1181943641 Dependabot Updates #64: by dependabot bot
33s main
main
33s
Merge branch 'devel' (updated action versions; purify alt text for Automatic Checks for prooftrees #77: Commit 54cfc9a pushed by cfr42
9m 24s main
main
9m 24s
use new nfssext action tag?? Automatic Checks for prooftrees #76: Commit 01b4d99 pushed by cfr42
9m 12s devel
devel
9m 12s
inconsistent versioning in nfssext (adapt to) Automatic Checks for prooftrees #75: Commit db00456 pushed by cfr42
18s devel
devel
18s
bump nfssext action Automatic Checks for prooftrees #74: Commit f214c81 pushed by cfr42
1m 7s devel
devel
1m 7s
github_actions in /. - Update #1176234804 Dependabot Updates #63: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1168547804 Dependabot Updates #62: by dependabot bot
28s main
main
28s
prooftrees : update tlgs for minor logging change from latex Automatic Checks for prooftrees #73: Commit 258639c pushed by cfr42
8m 53s devel
devel
8m 53s
prooftrees: merge dependabot bump Automatic Checks for prooftrees #72: Commit 232bb9b pushed by cfr42
12m 54s main
main
12m 54s
prooftrees: add fix for latex release breakage to devel branch Automatic Checks for prooftrees #71: Commit d606a8b pushed by cfr42
12m 56s devel
devel
12m 56s
prooftrees : try https://tex.stackexchange.com/a/754799/ \partokencon… Automatic Checks for prooftrees #70: Commit 36f096b pushed by cfr42
10m 6s memoize-par-test
memoize-par-test
10m 6s
Bump actions/checkout from 5 to 6 Automatic Checks for prooftrees #69: Pull request #4 opened by dependabot bot
11m 25s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
11m 25s
github_actions in /. - Update #1161840729 Dependabot Updates #61: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1153677795 Dependabot Updates #60: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1146813361 Dependabot Updates #59: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1141034039 Dependabot Updates #58: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1134383927 Dependabot Updates #57: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1128491761 Dependabot Updates #56: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1122924082 Dependabot Updates #55: by dependabot bot
30s main
main
30s
Automatic Checks for prooftrees Automatic Checks for prooftrees #68: Manually run by cfr42
46m 11s devel
devel
46m 11s
github_actions in /. - Update #1117478522 Dependabot Updates #54: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1110411452 Dependabot Updates #53: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1110361207 Dependabot Updates #52: by dependabot bot
30s main
main
30s