Skip to content

Actions: standardml/twelf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
416 workflow runs
416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update npm deps to get new micromark 2.0.1 Twelf Wiki #120: Pull request #44 opened by robsimmons
April 16, 2024 13:56 2m 56s update-deps
update-deps
April 16, 2024 13:56 2m 56s
Allow dependencies between pages on the wiki Twelf Wiki #119: Pull request #43 synchronize by robsimmons
April 15, 2024 22:43 2m 53s web-of-knowledge
web-of-knowledge
April 15, 2024 22:43 2m 53s
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 Wiki #118: Pull request #43 synchronize by robsimmons
April 15, 2024 22:29 2m 40s web-of-knowledge
web-of-knowledge
April 15, 2024 22:29 2m 40s
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 Wiki #117: Pull request #43 opened by robsimmons
April 15, 2024 22:09 3m 4s web-of-knowledge
web-of-knowledge
April 15, 2024 22:09 3m 4s
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 Wiki #116: Commit 858ce67 pushed by robsimmons
April 15, 2024 18:40 3m 12s main
main
April 15, 2024 18:40 3m 12s
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 Wiki #115: Pull request #42 opened by robsimmons
April 15, 2024 18:33 2m 59s wiki
wiki
April 15, 2024 18:33 2m 59s
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 (#41) Twelf Wiki #114: Commit bb8b8e8 pushed by robsimmons
April 13, 2024 20:26 2m 59s main
main
April 13, 2024 20:26 2m 59s
More proving metatheorems Twelf Wiki #113: Pull request #41 opened by robsimmons
April 13, 2024 20:23 2m 54s wiki
wiki
April 13, 2024 20:23 2m 54s
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 Wiki #112: Commit c78d8dd pushed by robsimmons
April 12, 2024 21:44 2m 54s main
main
April 12, 2024 21:44 2m 54s
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 Wiki #111: Pull request #40 opened by robsimmons
April 12, 2024 21:41 2m 54s wiki
wiki
April 12, 2024 21:41 2m 54s
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 Wiki #110: Commit 7cc2c4e pushed by robsimmons
April 9, 2024 00:24 1m 49s main
main
April 9, 2024 00:24 1m 49s
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 Wiki #109: Pull request #39 opened by robsimmons
April 9, 2024 00:21 2m 58s robsimmons-patch-1
robsimmons-patch-1
April 9, 2024 00:21 2m 58s
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
Add readme and update part 1 of proving metatheorems (#38) Twelf Wiki #108: Commit 2a3d841 pushed by robsimmons
April 8, 2024 17:09 3m 19s main
main
April 8, 2024 17:09 3m 19s
Add readme and update part 1 of proving metatheorems (#38) Twelf Regression Suite #179: Commit 2a3d841 pushed by robsimmons
April 8, 2024 17:09 1m 44s main
main
April 8, 2024 17:09 1m 44s