Skip to content

Actions: standardml/twelf

Actions

Twelf Regression Suite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-tests.yml
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cookie and astro in /wiki Twelf Regression Suite #230: Pull request #62 opened by dependabot bot
October 19, 2024 10:10 1m 45s dependabot/npm_and_yarn/wiki/multi-8a7e7b19fb
dependabot/npm_and_yarn/wiki/multi-8a7e7b19fb
October 19, 2024 10:10 1m 45s
Bump astro from 4.6.1 to 4.16.3 in /wiki Twelf Regression Suite #229: Pull request #61 opened by dependabot bot
October 14, 2024 20:24 1m 44s dependabot/npm_and_yarn/wiki/astro-4.16.3
dependabot/npm_and_yarn/wiki/astro-4.16.3
October 14, 2024 20:24 1m 44s
Update proving-metatheorems pages Twelf Regression Suite #228: Pull request #60 opened by cjohnson19
October 11, 2024 21:06 4m 8s cjohnson19:proving-non-empty-context
cjohnson19:proving-non-empty-context
October 11, 2024 21:06 4m 8s
Bump rollup from 4.14.3 to 4.22.4 in /wiki Twelf Regression Suite #227: Pull request #59 opened by dependabot bot
September 24, 2024 00:14 1m 46s dependabot/npm_and_yarn/wiki/rollup-4.22.4
dependabot/npm_and_yarn/wiki/rollup-4.22.4
September 24, 2024 00:14 1m 46s
Bump vite from 5.2.9 to 5.4.6 in /wiki Twelf Regression Suite #226: Pull request #58 opened by dependabot bot
September 18, 2024 00:20 1m 42s dependabot/npm_and_yarn/wiki/vite-5.4.6
dependabot/npm_and_yarn/wiki/vite-5.4.6
September 18, 2024 00:20 1m 42s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #225: Pull request #54 synchronize by dependabot bot
September 13, 2024 00:33 1m 46s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 13, 2024 00:33 1m 46s
Bump path-to-regexp from 6.2.2 to 6.3.0 in /wiki (#57) Twelf Regression Suite #224: Commit 8c01a71 pushed by robsimmons
September 13, 2024 00:32 1m 48s main
main
September 13, 2024 00:32 1m 48s
Bump path-to-regexp from 6.2.2 to 6.3.0 in /wiki Twelf Regression Suite #223: Pull request #57 opened by dependabot bot
September 12, 2024 19:18 1m 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 1m 46s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #222: Pull request #54 synchronize by dependabot bot
September 12, 2024 15:15 1m 45s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 12, 2024 15:15 1m 45s
Bump dset from 3.1.3 to 3.1.4 in /wiki (#56) Twelf Regression Suite #221: Commit 0f5db50 pushed by robsimmons
September 12, 2024 15:14 1m 45s main
main
September 12, 2024 15:14 1m 45s
Bump dset from 3.1.3 to 3.1.4 in /wiki Twelf Regression Suite #220: Pull request #56 opened by dependabot bot
September 11, 2024 23:40 1m 51s dependabot/npm_and_yarn/wiki/dset-3.1.4
dependabot/npm_and_yarn/wiki/dset-3.1.4
September 11, 2024 23:40 1m 51s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #219: Pull request #54 synchronize by dependabot bot
September 10, 2024 02:56 1m 44s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 10, 2024 02:56 1m 44s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki (#53) Twelf Regression Suite #218: Commit a4b874d pushed by robsimmons
September 10, 2024 02:55 1m 50s main
main
September 10, 2024 02:55 1m 50s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #217: Pull request #54 synchronize by dependabot bot
September 10, 2024 02:49 1m 48s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 10, 2024 02:49 1m 48s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #216: Pull request #53 synchronize by dependabot bot
September 10, 2024 02:48 1m 58s 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 1m 58s
Bump micromatch from 4.0.5 to 4.0.8 in /wiki (#55) Twelf Regression Suite #215: Commit b81f012 pushed by robsimmons
September 10, 2024 02:47 1m 44s main
main
September 10, 2024 02:47 1m 44s
Bump micromatch from 4.0.5 to 4.0.8 in /wiki Twelf Regression Suite #214: Pull request #55 opened by dependabot bot
September 9, 2024 00:22 1m 57s dependabot/npm_and_yarn/wiki/micromatch-4.0.8
dependabot/npm_and_yarn/wiki/micromatch-4.0.8
September 9, 2024 00:22 1m 57s
Bump pagefind from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #213: Pull request #54 opened by dependabot bot
September 3, 2024 19:35 1m 46s dependabot/npm_and_yarn/wiki/pagefind-1.1.1
dependabot/npm_and_yarn/wiki/pagefind-1.1.1
September 3, 2024 19:35 1m 46s
Bump @pagefind/default-ui from 1.1.0 to 1.1.1 in /wiki Twelf Regression Suite #212: Pull request #53 opened by dependabot bot
September 3, 2024 19:35 1m 53s 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 1m 53s
Update CONTRIBUTORS (#52) Twelf Regression Suite #211: Commit 88d9219 pushed by robsimmons
August 26, 2024 14:55 1m 51s main
main
August 26, 2024 14:55 1m 51s
Update CONTRIBUTORS Twelf Regression Suite #210: Pull request #52 synchronize by robsimmons
August 26, 2024 14:52 1m 42s robsimmons-patch-1
robsimmons-patch-1
August 26, 2024 14:52 1m 42s
Update CONTRIBUTORS Twelf Regression Suite #209: Pull request #52 opened by robsimmons
August 26, 2024 14:48 1m 49s robsimmons-patch-1
robsimmons-patch-1
August 26, 2024 14:48 1m 49s
Wiki fixes (#51) Twelf Regression Suite #208: Commit 65813ea pushed by robsimmons
August 26, 2024 14:45 1m 42s main
main
August 26, 2024 14:45 1m 42s
Wiki fixes Twelf Regression Suite #207: Pull request #51 opened by dunhamsteve
August 25, 2024 21:23 1m 52s dunhamsteve:wiki-fixes
dunhamsteve:wiki-fixes
August 25, 2024 21:23 1m 52s
Update theorem-prover.elf (#50) Twelf Regression Suite #206: Commit aca66b0 pushed by robsimmons
August 25, 2024 20:26 1m 52s main
main
August 25, 2024 20:26 1m 52s