Skip to content

Actions: JasonGross/neural-net-coq-interp

Actions

CI (Coq)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add compute-lite target CI (Coq) #286: Commit cedfad3 pushed by JasonGross
November 10, 2023 20:14 47m 22s main
main
November 10, 2023 20:14 47m 22s
Drop #[native_compile=no] from Opaque definitions CI (Coq) #285: Commit c722093 pushed by JasonGross
November 10, 2023 05:50 46m 41s main
main
November 10, 2023 05:50 46m 41s
Adapt to non-transitively-recursive #[native_compile=no] CI (Coq) #284: Commit e2a4b0e pushed by JasonGross
November 8, 2023 20:58 2h 1m 31s main
main
November 8, 2023 20:58 2h 1m 31s
Bump async-timeout from 4.0.2 to 4.0.3 in /training CI (Coq) #283: Pull request #11 synchronize by dependabot bot
November 7, 2023 19:44 1h 54m 25s dependabot/pip/training/async-timeout-4.0.3
dependabot/pip/training/async-timeout-4.0.3
November 7, 2023 19:44 1h 54m 25s
Bump async-timeout from 4.0.2 to 4.0.3 in /training CI (Coq) #282: Pull request #11 synchronize by dependabot bot
November 7, 2023 19:06 38m 5s dependabot/pip/training/async-timeout-4.0.3
dependabot/pip/training/async-timeout-4.0.3
November 7, 2023 19:06 38m 5s
Bump multidict from 6.0.2 to 6.0.4 in /training CI (Coq) #281: Pull request #12 opened by dependabot bot
November 7, 2023 18:18 51m 30s dependabot/pip/training/multidict-6.0.4
dependabot/pip/training/multidict-6.0.4
November 7, 2023 18:18 51m 30s
Bump async-timeout from 4.0.2 to 4.0.3 in /training CI (Coq) #280: Pull request #11 opened by dependabot bot
November 7, 2023 18:18 48m 46s dependabot/pip/training/async-timeout-4.0.3
dependabot/pip/training/async-timeout-4.0.3
November 7, 2023 18:18 48m 46s
Bump attrs from 22.1.0 to 23.1.0 in /training CI (Coq) #279: Pull request #10 opened by dependabot bot
November 7, 2023 18:18 1h 24m 12s dependabot/pip/training/attrs-23.1.0
dependabot/pip/training/attrs-23.1.0
November 7, 2023 18:18 1h 24m 12s
Bump regex from 2022.7.9 to 2023.10.3 in /training CI (Coq) #278: Pull request #9 opened by dependabot bot
November 7, 2023 18:18 46m 51s dependabot/pip/training/regex-2023.10.3
dependabot/pip/training/regex-2023.10.3
November 7, 2023 18:18 46m 51s
Bump aiosignal from 1.2.0 to 1.3.1 in /training CI (Coq) #277: Pull request #8 opened by dependabot bot
November 7, 2023 18:18 47m 8s dependabot/pip/training/aiosignal-1.3.1
dependabot/pip/training/aiosignal-1.3.1
November 7, 2023 18:18 47m 8s
Bump etc/coq-scripts from 8b66ebe to d3dc888 CI (Coq) #276: Pull request #7 opened by dependabot bot
November 7, 2023 18:17 1h 50m 50s dependabot/submodules/etc/coq-scripts-d3dc888
dependabot/submodules/etc/coq-scripts-d3dc888
November 7, 2023 18:17 1h 50m 50s
Adapt to coq/coq#18197 (List and Array fold argument order change) (#6) CI (Coq) #275: Commit ac253f4 pushed by JasonGross
November 6, 2023 23:14 47m 14s main
main
November 6, 2023 23:14 47m 14s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #274: Pull request #6 synchronize by JasonGross
November 6, 2023 22:27 46m 40s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
November 6, 2023 22:27 46m 40s
Drop back down to 1.17 for coq-mathcomp-analysis CI (Coq) #273: Commit 5db7260 pushed by JasonGross
November 6, 2023 22:27 1h 20m 27s main
main
November 6, 2023 22:27 1h 20m 27s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #272: Pull request #6 synchronize by JasonGross
November 6, 2023 21:09 31m 14s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
November 6, 2023 21:09 31m 14s
Work around coq-dev not supporting Mathcomp 1 CI (Coq) #271: Commit 83cccf5 pushed by JasonGross
November 6, 2023 21:08 28m 20s main
main
November 6, 2023 21:08 28m 20s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #270: Pull request #6 synchronize by JasonGross
November 2, 2023 21:27 2h 58m 37s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
November 2, 2023 21:27 2h 58m 37s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #268: Pull request #6 synchronize by JasonGross
October 30, 2023 00:08 2h 21m 10s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
October 30, 2023 00:08 2h 21m 10s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #267: Pull request #6 reopened by SkySkimmer
October 26, 2023 14:23 8m 46s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
October 26, 2023 14:23 8m 46s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #266: Pull request #6 synchronize by SkySkimmer
October 26, 2023 12:22 1h 48m 0s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
October 26, 2023 12:22 1h 48m 0s
Adapt to coq/coq#18197 (List and Array fold argument order change) CI (Coq) #265: Pull request #6 opened by SkySkimmer
October 26, 2023 12:20 2m 48s SkySkimmer:ltac2-fold-order
SkySkimmer:ltac2-fold-order
October 26, 2023 12:20 2m 48s
Use eexact in weaksauce_einsum (#5) CI (Coq) #264: Commit 78daaa8 pushed by JasonGross
October 24, 2023 17:47 1h 55m 31s main
main
October 24, 2023 17:47 1h 55m 31s
Use eexact in weaksauce_einsum CI (Coq) #263: Pull request #5 synchronize by JasonGross
October 24, 2023 15:58 1h 49m 23s SkySkimmer:ltac2-exact-preterm
SkySkimmer:ltac2-exact-preterm
October 24, 2023 15:58 1h 49m 23s
[CoqTorch] Add preliminary activation function support CI (Coq) #262: Commit 4fe4f07 pushed by JasonGross
October 23, 2023 22:29 3h 34m 31s main
main
October 23, 2023 22:29 3h 34m 31s
Fix issue where softmax overflows on large values CI (Coq) #258: Commit 500c776 pushed by JasonGross
October 3, 2023 00:01 1h 24m 7s main
main
October 3, 2023 00:01 1h 24m 7s