Skip to content

Actions: standardml/twelf

Actions

Twelf Wiki

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-wiki.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cookie and astro in /wiki Twelf Wiki #159: Pull request #62 opened by dependabot bot
October 19, 2024 10:10 2m 51s dependabot/npm_and_yarn/wiki/multi-8a7e7b19fb
dependabot/npm_and_yarn/wiki/multi-8a7e7b19fb
October 19, 2024 10:10 2m 51s
Bump astro from 4.6.1 to 4.16.3 in /wiki Twelf Wiki #158: Pull request #61 opened by dependabot bot
October 14, 2024 20:24 3m 1s dependabot/npm_and_yarn/wiki/astro-4.16.3
dependabot/npm_and_yarn/wiki/astro-4.16.3
October 14, 2024 20:24 3m 1s
Update proving-metatheorems pages Twelf Wiki #157: Pull request #60 opened by cjohnson19
October 11, 2024 21:06 13m 14s cjohnson19:proving-non-empty-context
cjohnson19:proving-non-empty-context
October 11, 2024 21:06 13m 14s
Bump rollup from 4.14.3 to 4.22.4 in /wiki Twelf Wiki #156: Pull request #59 opened by dependabot bot
September 24, 2024 00:14 2m 45s dependabot/npm_and_yarn/wiki/rollup-4.22.4
dependabot/npm_and_yarn/wiki/rollup-4.22.4
September 24, 2024 00:14 2m 45s
Bump vite from 5.2.9 to 5.4.6 in /wiki Twelf Wiki #155: Pull request #58 opened by dependabot bot
September 18, 2024 00:20 3m 2s dependabot/npm_and_yarn/wiki/vite-5.4.6
dependabot/npm_and_yarn/wiki/vite-5.4.6
September 18, 2024 00:20 3m 2s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #154: Pull request #54 synchronize by dependabot bot
September 13, 2024 00:33 2m 45s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 13, 2024 00:33 2m 45s
Bump path-to-regexp from 6.2.2 to 6.3.0 in /wiki (#57) Twelf Wiki #153: Commit 8c01a71 pushed by robsimmons
September 13, 2024 00:32 3m 9s main
main
September 13, 2024 00:32 3m 9s
Bump path-to-regexp from 6.2.2 to 6.3.0 in /wiki Twelf Wiki #152: Pull request #57 opened by dependabot bot
September 12, 2024 19:18 2m 46s dependabot/npm_and_yarn/wiki/path-to-regexp-6.3.0
dependabot/npm_and_yarn/wiki/path-to-regexp-6.3.0
September 12, 2024 19:18 2m 46s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #151: Pull request #54 synchronize by dependabot bot
September 12, 2024 15:15 2m 50s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 12, 2024 15:15 2m 50s
Bump dset from 3.1.3 to 3.1.4 in /wiki (#56) Twelf Wiki #150: Commit 0f5db50 pushed by robsimmons
September 12, 2024 15:14 3m 3s main
main
September 12, 2024 15:14 3m 3s
Bump dset from 3.1.3 to 3.1.4 in /wiki Twelf Wiki #149: Pull request #56 opened by dependabot bot
September 11, 2024 23:40 2m 43s dependabot/npm_and_yarn/wiki/dset-3.1.4
dependabot/npm_and_yarn/wiki/dset-3.1.4
September 11, 2024 23:40 2m 43s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #148: Pull request #54 synchronize by dependabot bot
September 10, 2024 02:56 2m 49s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 10, 2024 02:56 2m 49s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki (#53) Twelf Wiki #147: Commit a4b874d pushed by robsimmons
September 10, 2024 02:55 3m 10s main
main
September 10, 2024 02:55 3m 10s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #146: Pull request #54 synchronize by dependabot bot
September 10, 2024 02:49 2m 51s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 10, 2024 02:49 2m 51s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #145: Pull request #53 synchronize by dependabot bot
September 10, 2024 02:48 2m 51s dependabot/npm_and_yarn/wiki/pagefind/default-ui-1.1.1
dependabot/npm_and_yarn/wiki/pagefind/default-ui-1.1.1
September 10, 2024 02:48 2m 51s
Bump micromatch from 4.0.5 to 4.0.8 in /wiki (#55) Twelf Wiki #144: Commit b81f012 pushed by robsimmons
September 10, 2024 02:47 3m 4s main
main
September 10, 2024 02:47 3m 4s
Bump micromatch from 4.0.5 to 4.0.8 in /wiki Twelf Wiki #143: Pull request #55 opened by dependabot bot
September 9, 2024 00:22 2m 59s dependabot/npm_and_yarn/wiki/micromatch-4.0.8
dependabot/npm_and_yarn/wiki/micromatch-4.0.8
September 9, 2024 00:22 2m 59s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #142: Pull request #54 opened by dependabot bot
September 3, 2024 19:35 2m 40s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 3, 2024 19:35 2m 40s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki Twelf Wiki #141: Pull request #53 opened by dependabot bot
September 3, 2024 19:35 2m 48s dependabot/npm_and_yarn/wiki/pagefind/default-ui-1.1.1
dependabot/npm_and_yarn/wiki/pagefind/default-ui-1.1.1
September 3, 2024 19:35 2m 48s
Update CONTRIBUTORS (#52) Twelf Wiki #140: Commit 88d9219 pushed by robsimmons
August 26, 2024 14:55 3m 6s main
main
August 26, 2024 14:55 3m 6s
Update CONTRIBUTORS Twelf Wiki #139: Pull request #52 synchronize by robsimmons
August 26, 2024 14:52 3m 2s robsimmons-patch-1
robsimmons-patch-1
August 26, 2024 14:52 3m 2s
Update CONTRIBUTORS Twelf Wiki #138: Pull request #52 opened by robsimmons
August 26, 2024 14:48 2m 53s robsimmons-patch-1
robsimmons-patch-1
August 26, 2024 14:48 2m 53s
Wiki fixes (#51) Twelf Wiki #137: Commit 65813ea pushed by robsimmons
August 26, 2024 14:45 7m 6s main
main
August 26, 2024 14:45 7m 6s
Wiki fixes Twelf Wiki #136: Pull request #51 opened by dunhamsteve
August 25, 2024 21:23 2m 50s dunhamsteve:wiki-fixes
dunhamsteve:wiki-fixes
August 25, 2024 21:23 2m 50s
Update theorem-prover.elf (#50) Twelf Wiki #135: Commit aca66b0 pushed by robsimmons
August 25, 2024 20:26 2m 57s main
main
August 25, 2024 20:26 2m 57s