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

Add readme and update part 1 of proving metatheorems Twelf Regression Suite #178: Pull request #38 opened by robsimmons
April 8, 2024 16:07 1m 47s wiki
wiki
April 8, 2024 16:07 1m 47s
Add readme and update part 1 of proving metatheorems Twelf Wiki #107: Pull request #38 opened by robsimmons
April 8, 2024 16:07 3m 34s wiki
wiki
April 8, 2024 16:07 3m 34s
Proving metatheorems updates (#37) Twelf Wiki #106: Commit 7e9f404 pushed by robsimmons
April 3, 2024 18:52 3m 2s main
main
April 3, 2024 18:52 3m 2s
Proving metatheorems updates (#37) Twelf Regression Suite #177: Commit 7e9f404 pushed by robsimmons
April 3, 2024 18:52 1m 43s main
main
April 3, 2024 18:52 1m 43s
Proving metatheorems updates Twelf Regression Suite #176: Pull request #37 opened by robsimmons
April 3, 2024 18:49 1m 42s wiki
wiki
April 3, 2024 18:49 1m 42s
Proving metatheorems updates Twelf Wiki #105: Pull request #37 opened by robsimmons
April 3, 2024 18:49 2m 46s wiki
wiki
April 3, 2024 18:49 2m 46s
Take 2 at social image (#36) Twelf Regression Suite #175: Commit 0d23a56 pushed by robsimmons
April 1, 2024 22:28 1m 45s main
main
April 1, 2024 22:28 1m 45s
Take 2 at social image (#36) Twelf Wiki #104: Commit 0d23a56 pushed by robsimmons
April 1, 2024 22:28 2m 54s main
main
April 1, 2024 22:28 2m 54s
Take 2 at social image Twelf Regression Suite #174: Pull request #36 opened by robsimmons
April 1, 2024 22:25 1m 47s socialimage
socialimage
April 1, 2024 22:25 1m 47s
Take 2 at social image Twelf Wiki #103: Pull request #36 opened by robsimmons
April 1, 2024 22:25 2m 59s socialimage
socialimage
April 1, 2024 22:25 2m 59s
Check all TS and add a social header image (#35) Twelf Regression Suite #173: Commit ca5ec07 pushed by robsimmons
April 1, 2024 22:07 1m 41s main
main
April 1, 2024 22:07 1m 41s
Check all TS and add a social header image (#35) Twelf Wiki #102: Commit ca5ec07 pushed by robsimmons
April 1, 2024 22:07 2m 59s main
main
April 1, 2024 22:07 2m 59s
Check all TS and add a social header image Twelf Regression Suite #172: Pull request #35 opened by robsimmons
April 1, 2024 22:04 1m 48s wiki
wiki
April 1, 2024 22:04 1m 48s
Check all TS and add a social header image Twelf Wiki #101: Pull request #35 opened by robsimmons
April 1, 2024 22:04 2m 46s wiki
wiki
April 1, 2024 22:04 2m 46s
Proving metatheorems intro and general cleanup (#34) Twelf Regression Suite #171: Commit 6167ab5 pushed by robsimmons
April 1, 2024 20:59 1m 44s main
main
April 1, 2024 20:59 1m 44s
Proving metatheorems intro and general cleanup (#34) Twelf Wiki #100: Commit 6167ab5 pushed by robsimmons
April 1, 2024 20:59 3m 6s main
main
April 1, 2024 20:59 3m 6s
Proving metatheorems intro and general cleanup Twelf Wiki #99: Pull request #34 opened by robsimmons
April 1, 2024 20:56 2m 51s wiki
wiki
April 1, 2024 20:56 2m 51s
Proving metatheorems intro and general cleanup Twelf Regression Suite #170: Pull request #34 opened by robsimmons
April 1, 2024 20:56 1m 46s wiki
wiki
April 1, 2024 20:56 1m 46s
Wiki page updates (#33) Twelf Regression Suite #169: Commit 11a13a6 pushed by robsimmons
April 1, 2024 17:18 1m 59s main
main
April 1, 2024 17:18 1m 59s
Wiki page updates (#33) Twelf Wiki #98: Commit 11a13a6 pushed by robsimmons
April 1, 2024 17:18 3m 13s main
main
April 1, 2024 17:18 3m 13s
Wiki page updates Twelf Regression Suite #168: Pull request #33 synchronize by robsimmons
April 1, 2024 17:16 1m 45s wiki
wiki
April 1, 2024 17:16 1m 45s
Wiki page updates Twelf Wiki #97: Pull request #33 synchronize by robsimmons
April 1, 2024 17:16 2m 56s wiki
wiki
April 1, 2024 17:16 2m 56s
Wiki page updates Twelf Wiki #96: Pull request #33 opened by robsimmons
April 1, 2024 15:40 1m 41s wiki
wiki
April 1, 2024 15:40 1m 41s
Wiki page updates Twelf Regression Suite #167: Pull request #33 opened by robsimmons
April 1, 2024 15:40 1m 46s wiki
wiki
April 1, 2024 15:40 1m 46s
Make hat urls absolute (#32) Twelf Wiki #95: Commit 6a30a24 pushed by robsimmons
April 1, 2024 02:07 2m 33s main
main
April 1, 2024 02:07 2m 33s