Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better ordering on print-report (#2062) CI (Coq, opam) #1001: Commit 3e49eea pushed by JasonGross
March 14, 2025 23:18 1h 42m 32s master
master
March 14, 2025 23:18 1h 42m 32s
Update coq-alpine.yml CI (Coq, opam) #1000: Commit 30e2240 pushed by JasonGross
March 14, 2025 06:34 1h 40m 19s master
master
March 14, 2025 06:34 1h 40m 19s
Add --asm-node-reveal-depth (#2055) CI (Coq, opam) #999: Commit fd88aae pushed by JasonGross
March 13, 2025 22:25 8h 30m 33s master
master
March 13, 2025 22:25 8h 30m 33s
Add proof that map is injective (#2061) CI (Coq, opam) #998: Commit 45d5829 pushed by JasonGross
March 13, 2025 22:16 5h 41m 48s master
master
March 13, 2025 22:16 5h 41m 48s
[CI] [alpine-edge] coq => rocq (#2066) CI (Coq, opam) #997: Commit 8bf5ebe pushed by JasonGross
March 13, 2025 21:21 5h 0m 36s master
master
March 13, 2025 21:21 5h 0m 36s
Add opcode_size for nop so we don't get errors (#2060) CI (Coq, opam) #996: Commit fe2c1d0 pushed by JasonGross
March 13, 2025 21:15 1h 55m 47s master
master
March 13, 2025 21:15 1h 55m 47s
Remove Locate & Check CI (Coq, opam) #995: Commit 4513525 pushed by JasonGross
March 13, 2025 05:53 15h 41m 14s master
master
March 13, 2025 05:53 15h 41m 14s
Reformat python automatically CI (Coq, opam) #994: Commit 3c25615 pushed by JasonGross
March 13, 2025 03:24 17h 56m 59s master
master
March 13, 2025 03:24 17h 56m 59s
Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) CI (Coq, opam) #993: Commit ce9e409 pushed by JasonGross
March 13, 2025 00:45 19h 45m 40s master
master
March 13, 2025 00:45 19h 45m 40s
Print the node values of registers (#2056) CI (Coq, opam) #992: Commit dc9e209 pushed by JasonGross
March 12, 2025 23:37 19h 39m 49s master
master
March 12, 2025 23:37 19h 39m 49s
Merge pull request #2048 from JasonGross/string-examples CI (Coq, opam) #991: Commit 298493f pushed by JasonGross
March 12, 2025 19:51 20h 19m 41s master
master
March 12, 2025 19:51 20h 19m 41s
Merge pull request #2051 from JasonGross/strip-trailing-asm CI (Coq, opam) #990: Commit 09dc6ac pushed by JasonGross
March 12, 2025 19:51 16h 9m 15s master
master
March 12, 2025 19:51 16h 9m 15s
Merge pull request #2049 from JasonGross/ascii CI (Coq, opam) #989: Commit 5f9313e pushed by JasonGross
March 12, 2025 19:50 12h 26m 19s master
master
March 12, 2025 19:50 12h 26m 19s
Move a lemma to util (#2052) CI (Coq, opam) #988: Commit d838e6d pushed by JasonGross
March 12, 2025 18:48 9h 4m 7s master
master
March 12, 2025 18:48 9h 4m 7s
Merge pull request #2044 from JasonGross/more-asm-tests CI (Coq, opam) #987: Commit 9cea3e5 pushed by JasonGross
March 12, 2025 18:08 4h 50m 16s master
master
March 12, 2025 18:08 4h 50m 16s
Fix filling of files from url (#2054) CI (Coq, opam) #986: Commit df1aa70 pushed by JasonGross
March 12, 2025 06:26 12h 10m 16s master
master
March 12, 2025 06:26 12h 10m 16s
Merge pull request #2053 from JasonGross/print-rewriting-pass-default CI (Coq, opam) #985: Commit 29db05d pushed by JasonGross
March 12, 2025 06:11 11h 3m 48s master
master
March 12, 2025 06:11 11h 3m 48s
Merge pull request #2047 from JasonGross/directives CI (Coq, opam) #984: Commit 2872ecd pushed by JasonGross
March 11, 2025 19:29 18h 54m 27s master
master
March 11, 2025 19:29 18h 54m 27s
Merge pull request #2045 from mit-plv/revert-2043-from-bytes-asm-tests CI (Coq, opam) #983: Commit 7aa277a pushed by JasonGross
March 11, 2025 19:10 17h 12m 49s master
master
March 11, 2025 19:10 17h 12m 49s
fix merge conflict CI (Coq, opam) #982: Commit 73bb6a9 pushed by JasonGross
March 11, 2025 06:22 1h 48m 31s master
master
March 11, 2025 06:22 1h 48m 31s
Merge pull request #2035 from JasonGross/movabs CI (Coq, opam) #981: Commit dcfe2aa pushed by JasonGross
March 11, 2025 04:34 2h 7m 43s master
master
March 11, 2025 04:34 2h 7m 43s
Merge pull request #2037 from JasonGross/shld CI (Coq, opam) #980: Commit ab4af3c pushed by JasonGross
March 11, 2025 03:52 1h 39m 24s master
master
March 11, 2025 03:52 1h 39m 24s
Add from_bytes asm tests (#2043) CI (Coq, opam) #979: Commit 83f84f9 pushed by JasonGross
March 11, 2025 02:21 1h 39m 35s master
master
March 11, 2025 02:21 1h 39m 35s
Don't print the report too early CI (Coq, opam) #978: Commit 76d6deb pushed by JasonGross
March 10, 2025 22:52 1h 38m 20s master
master
March 10, 2025 22:52 1h 38m 20s
Add ZRange.bitwidth, ZRange.of_bitwidth (#2041) CI (Coq, opam) #977: Commit c177f8e pushed by JasonGross
March 8, 2025 00:07 1h 45m 26s master
master
March 8, 2025 00:07 1h 45m 26s