Skip to content

Actions: mit-plv/fiat-crypto

Actions

Dependabot Automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dependabot-automerge.yml
371 workflow runs
371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rupicola from 1f7e333 to 41662e4 Dependabot Automerge #375: Pull request #2067 opened by dependabot bot
March 17, 2025 09:29 10s dependabot/submodules/rupicola-41662e4
dependabot/submodules/rupicola-41662e4
March 17, 2025 09:29 10s
Better ordering on print-report Dependabot Automerge #374: Pull request #2062 synchronize by JasonGross
March 14, 2025 19:31 9s JasonGross:better-makefile-ordering
JasonGross:better-makefile-ordering
March 14, 2025 19:31 9s
[CI] [alpine-edge] coq => rocq Dependabot Automerge #373: Pull request #2066 opened by JasonGross
March 13, 2025 21:20 6m 42s fix-alpine
fix-alpine
March 13, 2025 21:20 6m 42s
Bump rewriter from 869b054 to e8da092 Dependabot Automerge #372: Pull request #2063 synchronize by dependabot bot
March 13, 2025 15:02 48s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 15:02 48s
Bump rupicola from 7858221 to 00778a5 Dependabot Automerge #371: Pull request #2064 synchronize by dependabot bot
March 13, 2025 15:02 53s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 15:02 53s
Bump rupicola from 7858221 to 00778a5 Dependabot Automerge #370: Pull request #2064 opened by dependabot bot
March 13, 2025 09:58 4h 16m 34s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 09:58 4h 16m 34s
Bump rewriter from 869b054 to e8da092 Dependabot Automerge #369: Pull request #2063 opened by dependabot bot
March 13, 2025 09:58 3h 57m 53s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 09:58 3h 57m 53s
Reveal nodes on demand rather than up-front Dependabot Automerge #368: Pull request #2059 synchronize by JasonGross
March 13, 2025 05:49 5h 50m 53s JasonGross:reveal-nodes-as-needed
JasonGross:reveal-nodes-as-needed
March 13, 2025 05:49 5h 50m 53s
Add --asm-node-reveal-depth Dependabot Automerge #367: Pull request #2055 synchronize by JasonGross
March 13, 2025 05:40 1h 48m 22s JasonGross:node-reveal-depth
JasonGross:node-reveal-depth
March 13, 2025 05:40 1h 48m 22s
Better ordering on print-report Dependabot Automerge #366: Pull request #2062 opened by JasonGross
March 13, 2025 05:39 3h 8m 21s JasonGross:better-makefile-ordering
JasonGross:better-makefile-ordering
March 13, 2025 05:39 3h 8m 21s
Add proof that map is injective Dependabot Automerge #365: Pull request #2061 opened by JasonGross
March 13, 2025 05:39 2h 40m 24s JasonGross:map-inj
JasonGross:map-inj
March 13, 2025 05:39 2h 40m 24s
Add opcode_size for nop so we don't get errors Dependabot Automerge #364: Pull request #2060 opened by JasonGross
March 13, 2025 03:08 3h 36m 11s JasonGross:nop-size
JasonGross:nop-size
March 13, 2025 03:08 3h 36m 11s
Reveal nodes on demand rather than up-front Dependabot Automerge #363: Pull request #2059 synchronize by JasonGross
March 13, 2025 02:51 3h 33m 48s JasonGross:reveal-nodes-as-needed
JasonGross:reveal-nodes-as-needed
March 13, 2025 02:51 3h 33m 48s
Add from_bytes asm tests (take 2) Dependabot Automerge #362: Pull request #2046 synchronize by JasonGross
March 13, 2025 00:55 1h 27m 48s revert-2045-revert-2043-from-bytes-asm-tests
revert-2045-revert-2043-from-bytes-asm-tests
March 13, 2025 00:55 1h 27m 48s
Reveal nodes on demand rather than up-front Dependabot Automerge #361: Pull request #2059 synchronize by JasonGross
March 12, 2025 23:57 2h 55m 22s JasonGross:reveal-nodes-as-needed
JasonGross:reveal-nodes-as-needed
March 12, 2025 23:57 2h 55m 22s
Reveal nodes on demand rather than up-front Dependabot Automerge #360: Pull request #2059 opened by JasonGross
March 12, 2025 23:57 2h 25m 42s JasonGross:reveal-nodes-as-needed
JasonGross:reveal-nodes-as-needed
March 12, 2025 23:57 2h 25m 42s
Bump rupicola from 7858221 to e5546cf Dependabot Automerge #359: Pull request #2057 synchronize by dependabot bot
March 12, 2025 22:43 1h 51m 50s dependabot/submodules/rupicola-e5546cf
dependabot/submodules/rupicola-e5546cf
March 12, 2025 22:43 1h 51m 50s
Adapt to coq/coq#19690 (Hint Extern follows proof mode) Dependabot Automerge #358: Pull request #2058 synchronize by SkySkimmer
March 12, 2025 13:10 1h 17m 37s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
March 12, 2025 13:10 1h 17m 37s
Adapt to coq/coq#19690 (Hint Extern follows proof mode) Dependabot Automerge #357: Pull request #2058 opened by SkySkimmer
March 12, 2025 13:10 1h 14m 23s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
March 12, 2025 13:10 1h 14m 23s
Bump rupicola from 7858221 to e5546cf Dependabot Automerge #356: Pull request #2057 opened by dependabot bot
March 12, 2025 11:45 1h 16m 47s dependabot/submodules/rupicola-e5546cf
dependabot/submodules/rupicola-e5546cf
March 12, 2025 11:45 1h 16m 47s
Print the node values of registers Dependabot Automerge #355: Pull request #2056 synchronize by JasonGross
March 12, 2025 07:26 4h 55m 11s JasonGross:better-reg-printing
JasonGross:better-reg-printing
March 12, 2025 07:26 4h 55m 11s
Print the node values of registers Dependabot Automerge #354: Pull request #2056 synchronize by JasonGross
March 12, 2025 07:21 2h 56m 55s JasonGross:better-reg-printing
JasonGross:better-reg-printing
March 12, 2025 07:21 2h 56m 55s
Print the node values of registers Dependabot Automerge #353: Pull request #2056 opened by JasonGross
March 12, 2025 07:19 40m 18s JasonGross:better-reg-printing
JasonGross:better-reg-printing
March 12, 2025 07:19 40m 18s
Add --asm-node-reveal-depth Dependabot Automerge #352: Pull request #2055 opened by JasonGross
March 12, 2025 06:51 9m 28s JasonGross:node-reveal-depth
JasonGross:node-reveal-depth
March 12, 2025 06:51 9m 28s
Fix filling of files from url Dependabot Automerge #351: Pull request #2054 opened by JasonGross
March 12, 2025 06:26 1h 45m 22s JasonGross:fix-permalink-asm
JasonGross:fix-permalink-asm
March 12, 2025 06:26 1h 45m 22s