Skip to content

Actions: JasonGross/lawvere

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
43 workflow runs
43 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Bump actions/cache from 3 to 4 Ubuntu CI #43: Pull request #9 opened by dependabot bot
January 17, 2024 21:25 20m 13s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 17, 2024 21:25 20m 13s
Add lob-via-diagonal-using-universe Ubuntu CI #42: Commit 0c5c42a pushed by JasonGross
October 17, 2023 22:43 50s main
main
October 17, 2023 22:43 50s
Derive the diagonal lemma from Lob, with a universe Ubuntu CI #41: Commit 475cbba pushed by JasonGross
October 17, 2023 21:20 31m 28s main
main
October 17, 2023 21:20 31m 28s
Bump actions/checkout from 3 to 4 (#8) Ubuntu CI #40: Commit ad07169 pushed by JasonGross
September 4, 2023 23:19 22m 8s main
main
September 4, 2023 23:19 22m 8s
Bump actions/checkout from 3 to 4 Ubuntu CI #39: Pull request #8 opened by dependabot bot
September 4, 2023 21:32 26m 40s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 21:32 26m 40s
Functor categories Ubuntu CI #38: Pull request #7 synchronize by jliptrap
August 31, 2023 19:21 36s functor-cat
functor-cat
August 31, 2023 19:21 36s
Functor categories Ubuntu CI #37: Pull request #7 opened by jliptrap
August 31, 2023 02:37 26m 26s functor-cat
functor-cat
August 31, 2023 02:37 26m 26s
Minor cleanup Ubuntu CI #36: Pull request #5 opened by jliptrap
August 30, 2023 22:34 27m 15s cleanup
cleanup
August 30, 2023 22:34 27m 15s
Alternate version of diagonal, without type-level sigma Ubuntu CI #35: Pull request #4 opened by JasonGross
August 11, 2023 22:45 29s diagonal-alt
diagonal-alt
August 11, 2023 22:45 29s
Remove dead comment Ubuntu CI #34: Commit 9cb4a79 pushed by JasonGross
August 10, 2023 03:24 36s main
main
August 10, 2023 03:24 36s
More concrete version of diagonal Ubuntu CI #33: Commit 7a82b60 pushed by JasonGross
August 10, 2023 03:24 44s main
main
August 10, 2023 03:24 44s
Remove dead comment Ubuntu CI #32: Commit b77825c pushed by JasonGross
August 8, 2023 02:21 20s main
main
August 8, 2023 02:21 20s
Rename without-closed to without-cartesian-closure Ubuntu CI #31: Commit c1718dd pushed by JasonGross
August 8, 2023 02:18 28s main
main
August 8, 2023 02:18 28s
Update everything Ubuntu CI #30: Commit 2b452d0 pushed by JasonGross
August 8, 2023 02:15 23s main
main
August 8, 2023 02:15 23s
Add spurious counterfactuals Ubuntu CI #29: Commit e4c9828 pushed by JasonGross
August 8, 2023 02:14 1m 31s main
main
August 8, 2023 02:14 1m 31s
Do bounded lob Ubuntu CI #28: Commit a6d6471 pushed by JasonGross
August 8, 2023 01:42 28s main
main
August 8, 2023 01:42 28s
Minor cleanup Ubuntu CI #27: Commit 3748eb1 pushed by JasonGross
August 8, 2023 01:21 20s main
main
August 8, 2023 01:21 20s
Add Löb's theorem Ubuntu CI #26: Commit 79e915c pushed by JasonGross
August 8, 2023 01:18 23s main
main
August 8, 2023 01:18 23s
Factor lawvere through lawvere-without-closed Ubuntu CI #25: Commit 10e14ce pushed by JasonGross
August 8, 2023 00:29 20s main
main
August 8, 2023 00:29 20s
Add some variants of lawvere Ubuntu CI #24: Commit 444b015 pushed by JasonGross
August 8, 2023 00:24 24s main
main
August 8, 2023 00:24 24s
Use two spaces for indentation Ubuntu CI #23: Commit 55d27a6 pushed by JasonGross
August 8, 2023 00:10 21s main
main
August 8, 2023 00:10 21s
Adjust PATH Ubuntu CI #22: Commit 999ff1c pushed by JasonGross
August 7, 2023 23:31 25m 18s main
main
August 7, 2023 23:31 25m 18s
[CI] remove -h; also use --installdir not --bindir Ubuntu CI #21: Commit bcf8749 pushed by JasonGross
August 7, 2023 22:53 27m 18s main
main
August 7, 2023 22:53 27m 18s
Update ci.yml Ubuntu CI #20: Commit 707eb78 pushed by JasonGross
August 7, 2023 22:49 1m 51s main
main
August 7, 2023 22:49 1m 51s
Update ci.yml Ubuntu CI #19: Commit 3f1899f pushed by JasonGross
August 7, 2023 22:23 Failure main
main
August 7, 2023 22:23 Failure