Skip to content

Actions: standardml/twelf

Actions

Twelf Regression Suite

Actions

Loading...

Show workflow options

Create status badge

run-tests.yml
204 workflow runs
204 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update higher-order-judgements.elf (#48) Twelf Regression Suite #204: Commit 57df072 pushed by robsimmons
May 30, 2024 19:56 1m 42s main
main
May 30, 2024 19:56 1m 42s
Update higher-order-judgements.elf Twelf Regression Suite #203: Pull request #48 synchronize by cjohnson19
May 28, 2024 22:49 1m 49s cjohnson19:main
cjohnson19:main
May 28, 2024 22:49 1m 49s
Update other judgement related pages (#49) Twelf Regression Suite #202: Commit 3e73548 pushed by robsimmons
May 28, 2024 22:41 1m 53s main
main
May 28, 2024 22:41 1m 53s
Update other judgement related pages Twelf Regression Suite #201: Pull request #49 opened by cjohnson19
May 27, 2024 04:29 1m 42s cjohnson19:judgements
cjohnson19:judgements
May 27, 2024 04:29 1m 42s
Update higher-order-judgements.elf Twelf Regression Suite #200: Pull request #48 opened by cjohnson19
May 23, 2024 02:20 1m 41s cjohnson19:main
cjohnson19:main
May 23, 2024 02:20 1m 41s
Change wasi target to "wasm32-wasi" (#47) Twelf Regression Suite #199: Commit e66f6f3 pushed by jcreedcmu
May 13, 2024 22:28 1m 47s main
main
May 13, 2024 22:28 1m 47s
Change wasi target to "wasm32-wasi" Twelf Regression Suite #198: Pull request #47 opened by agoode
May 13, 2024 22:05 1m 47s agoode:known
agoode:known
May 13, 2024 22:05 1m 47s
Update proving-metatheorems-proving-totality-assertions-about-the-nat… Twelf Regression Suite #197: Commit e8aa91d pushed by robsimmons
April 18, 2024 02:14 2m 12s main
main
April 18, 2024 02:14 2m 12s
Update proving-metatheorems-proving-totality-assertions-about-the-natural-numbers.elf Twelf Regression Suite #196: Pull request #45 opened by robsimmons
April 18, 2024 02:11 1m 46s robsimmons-patch-1
robsimmons-patch-1
April 18, 2024 02:11 1m 46s
Allow dependencies between pages on the wiki Twelf Regression Suite #195: Pull request #43 synchronize by robsimmons
April 18, 2024 02:08 1m 41s web-of-knowledge
web-of-knowledge
April 18, 2024 02:08 1m 41s
Allow dependencies between pages on the wiki Twelf Regression Suite #194: Pull request #43 synchronize by robsimmons
April 17, 2024 23:59 1m 36s web-of-knowledge
web-of-knowledge
April 17, 2024 23:59 1m 36s
Allow dependencies between pages on the wiki Twelf Regression Suite #193: Pull request #43 synchronize by robsimmons
April 17, 2024 21:01 1m 43s web-of-knowledge
web-of-knowledge
April 17, 2024 21:01 1m 43s
Update npm deps to get new micromark 2.0.1 (#44) Twelf Regression Suite #192: Commit 2582c8e pushed by robsimmons
April 16, 2024 13:59 1m 48s main
main
April 16, 2024 13:59 1m 48s
Update npm deps to get new micromark 2.0.1 Twelf Regression Suite #191: Pull request #44 opened by robsimmons
April 16, 2024 13:56 1m 43s update-deps
update-deps
April 16, 2024 13:56 1m 43s
Allow dependencies between pages on the wiki Twelf Regression Suite #190: Pull request #43 synchronize by robsimmons
April 15, 2024 22:43 1m 46s web-of-knowledge
web-of-knowledge
April 15, 2024 22:43 1m 46s
Allow dependencies between pages on the wiki Twelf Regression Suite #189: Pull request #43 synchronize by robsimmons
April 15, 2024 22:29 1m 45s web-of-knowledge
web-of-knowledge
April 15, 2024 22:29 1m 45s
Allow dependencies between pages on the wiki Twelf Regression Suite #188: Pull request #43 opened by robsimmons
April 15, 2024 22:09 2m 1s web-of-knowledge
web-of-knowledge
April 15, 2024 22:09 2m 1s
Wiki update: rearrange proving metatheorems (#42) Twelf Regression Suite #187: Commit 858ce67 pushed by robsimmons
April 15, 2024 18:40 1m 49s main
main
April 15, 2024 18:40 1m 49s
Wiki update: rearrange proving metatheorems Twelf Regression Suite #186: Pull request #42 opened by robsimmons
April 15, 2024 18:33 1m 51s wiki
wiki
April 15, 2024 18:33 1m 51s
More proving metatheorems (#41) Twelf Regression Suite #185: Commit bb8b8e8 pushed by robsimmons
April 13, 2024 20:26 1m 42s main
main
April 13, 2024 20:26 1m 42s
More proving metatheorems Twelf Regression Suite #184: Pull request #41 opened by robsimmons
April 13, 2024 20:23 1m 45s wiki
wiki
April 13, 2024 20:23 1m 45s
Wiki updates (#40) Twelf Regression Suite #183: Commit c78d8dd pushed by robsimmons
April 12, 2024 21:44 1m 47s main
main
April 12, 2024 21:44 1m 47s
Wiki updates Twelf Regression Suite #182: Pull request #40 opened by robsimmons
April 12, 2024 21:41 1m 52s wiki
wiki
April 12, 2024 21:41 1m 52s
Update proving-metatheorems-solutions-odd-even-plus.elf (#39) Twelf Regression Suite #181: Commit 7cc2c4e pushed by robsimmons
April 9, 2024 00:24 1m 56s main
main
April 9, 2024 00:24 1m 56s
Update proving-metatheorems-solutions-odd-even-plus.elf Twelf Regression Suite #180: Pull request #39 opened by robsimmons
April 9, 2024 00:21 1m 53s robsimmons-patch-1
robsimmons-patch-1
April 9, 2024 00:21 1m 53s