Skip to content

Actions: cfr42/ltx-logic

Actions

Automatic Checks for prooftrees

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prooftrees-autochecks.yml
218 workflow runs
218 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
revert change to dev workflow for forest-ext Automatic Checks for prooftrees #238: Commit 10b9cfe pushed by cfr42
8m 42s main
main
8m 42s
ltx-logic : update repo names prooftrees -> ltx-logic Automatic Checks for prooftrees #237: Commit 49977ce pushed by cfr42
8m 40s devel
devel
8m 40s
Bump cfr42/nfssext/.github/actions/nfssext-autocheck-action from 81db5bdaf0d89014b332dd1be4f6f1ba75bc0143 to da8dc15912ac53a2d635dfabc78a94e81333c98d Automatic Checks for prooftrees #236: Pull request #13 opened by dependabot Bot
8m 50s dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-da8dc15912ac53a2d635dfabc78a94e81333c98d
dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-da8dc15912ac53a2d635dfabc78a94e81333c98d
8m 50s
Bump cfr42/nfssext/.github/actions/nfssext-autocheck-action from 81db5bdaf0d89014b332dd1be4f6f1ba75bc0143 to 5d7261638580a0e2a75c78de202f4a4675b6cadd Automatic Checks for prooftrees #235: Pull request #12 reopened by cfr42
9m 6s dependabot/github_actions/main/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
dependabot/github_actions/main/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
9m 6s
Bump cfr42/nfssext/.github/actions/nfssext-autocheck-action from 81db5bdaf0d89014b332dd1be4f6f1ba75bc0143 to 5d7261638580a0e2a75c78de202f4a4675b6cadd Automatic Checks for prooftrees #234: Pull request #12 opened by dependabot Bot
8m 51s dependabot/github_actions/main/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
dependabot/github_actions/main/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
8m 51s
Bump cfr42/nfssext/.github/actions/nfssext-autocheck-action from 81db5bdaf0d89014b332dd1be4f6f1ba75bc0143 to 5d7261638580a0e2a75c78de202f4a4675b6cadd Automatic Checks for prooftrees #233: Pull request #11 reopened by cfr42
9m 8s dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
9m 8s
Bump cfr42/nfssext/.github/actions/nfssext-autocheck-action from 81db5bdaf0d89014b332dd1be4f6f1ba75bc0143 to 5d7261638580a0e2a75c78de202f4a4675b6cadd Automatic Checks for prooftrees #232: Pull request #11 opened by dependabot Bot
9m 8s dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
dependabot/github_actions/devel/cfr42/nfssext/dot-github/actions/nfssext-autocheck-action-5d7261638580a0e2a75c78de202f4a4675b6cadd
9m 8s
ltx-logic pre-tag memoize-ext 0.4.3 Automatic Checks for prooftrees #231: Commit aff1e94 pushed by cfr42
9m 37s memoize-ext-0.4.3
memoize-ext-0.4.3
9m 37s
ltx-logic pre-tag memoize-ext 0.4.3 Automatic Checks for prooftrees #230: Commit aff1e94 pushed by cfr42
9m 10s main
main
9m 10s
ltx-logic pre-tag memoize-ext 0.4.3 Automatic Checks for prooftrees #229: Commit aff1e94 pushed by cfr42
8m 52s devel
devel
8m 52s
ltx-logic pre-tag memoize-ext 0.4.3 Automatic Checks for prooftrees #228: Commit a8770ff pushed by cfr42
9m 13s devel
devel
9m 13s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #227: Pull request #10 reopened by cfr42
9m 25s dependabot/github_actions/main/actions/checkout-7
dependabot/github_actions/main/actions/checkout-7
9m 25s
ltx-logic : memoize-ext : don't conditionalise conditional redef of \… Automatic Checks for prooftrees #226: Commit d695855 pushed by cfr42
9m 29s devel
devel
9m 29s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #225: Commit f01b35e pushed by cfr42
9m 47s main
main
9m 47s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #224: Pull request #10 opened by dependabot Bot
12m 23s dependabot/github_actions/main/actions/checkout-7
dependabot/github_actions/main/actions/checkout-7
12m 23s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #223: Commit f01b35e pushed by cfr42
9m 51s devel
devel
9m 51s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #222: Pull request #9 reopened by cfr42
8m 41s dependabot/github_actions/devel/actions/checkout-7
dependabot/github_actions/devel/actions/checkout-7
8m 41s
Bump actions/checkout from 6 to 7 Automatic Checks for prooftrees #221: Pull request #9 opened by dependabot Bot
6h 1m 15s dependabot/github_actions/devel/actions/checkout-7
dependabot/github_actions/devel/actions/checkout-7
6h 1m 15s
ltx-logic : memoize-ext : -> v0.4.2 + update ctan topics Automatic Checks for prooftrees #220: Commit 7ee01b6 pushed by cfr42
9m 23s devel
devel
9m 23s
ltx-logic : memoize-ext : -> v0.4.2 + update ctan topics Automatic Checks for prooftrees #219: Commit 7ee01b6 pushed by cfr42
9m 22s memoize-ext-0.4.2
memoize-ext-0.4.2
9m 22s
ltx-logic : memoize-ext : -> v0.4.2 + update ctan topics Automatic Checks for prooftrees #218: Commit 7ee01b6 pushed by cfr42
9m 36s main
main
9m 36s
ltx-logic : memoize-ext : too many My s Automatic Checks for prooftrees #217: Commit 243ffc9 pushed by cfr42
9m 23s devel
devel
9m 23s
ltx-logic : memoize-ext : too many My s Automatic Checks for prooftrees #216: Commit 243ffc9 pushed by cfr42
9m 28s memoize-ext-0.4.1
memoize-ext-0.4.1
9m 28s
ltx-logic : memoize-ext : too many My s Automatic Checks for prooftrees #215: Commit 243ffc9 pushed by cfr42
9m 28s main
main
9m 28s
ltx-logic : memoize-ext : tag v0.4.1 Automatic Checks for prooftrees #214: Commit 9ab5c61 pushed by cfr42
8m 55s memoize-ext-0.4.1
memoize-ext-0.4.1
8m 55s