Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Arch Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-archlinux.yml
598 workflow runs
598 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for more assembly CI (Coq, Arch Linux) #568: Pull request #2016 synchronize by JasonGross
March 5, 2025 17:50 7h 49m 52s JasonGross:more-asm
JasonGross:more-asm
March 5, 2025 17:50 7h 49m 52s
Add support for parsing more assembly (#2027) CI (Coq, Arch Linux) #567: Commit bfc6118 pushed by JasonGross
March 5, 2025 17:48 8h 1m 56s master
master
March 5, 2025 17:48 8h 1m 56s
Add support for parsing more assembly CI (Coq, Arch Linux) #566: Pull request #2027 synchronize by JasonGross
March 5, 2025 17:48 7h 59m 35s JasonGross:more-asm-opcode-parse
JasonGross:more-asm-opcode-parse
March 5, 2025 17:48 7h 59m 35s
Handle rip-relative addressing CI (Coq, Arch Linux) #565: Pull request #2029 synchronize by JasonGross
March 5, 2025 17:34 8h 13m 29s JasonGross:parse-rip
JasonGross:parse-rip
March 5, 2025 17:34 8h 13m 29s
Parse label-based addressing CI (Coq, Arch Linux) #564: Pull request #2028 synchronize by JasonGross
March 5, 2025 17:26 8h 21m 24s JasonGross:parse-labels
JasonGross:parse-labels
March 5, 2025 17:26 8h 21m 24s
Update to Zig 0.14 CI (Coq, Arch Linux) #563: Pull request #2031 opened by jedisct1
March 5, 2025 08:52 7h 20m 32s jedisct1:zig0.14
jedisct1:zig0.14
March 5, 2025 08:52 7h 20m 32s
Add some assembly example tests (#2024) CI (Coq, Arch Linux) #562: Commit 76faf79 pushed by JasonGross
March 5, 2025 06:41 9h 33m 6s master
master
March 5, 2025 06:41 9h 33m 6s
Don't die on missing fetch CI (Coq, Arch Linux) #561: Commit ef4dd8a pushed by JasonGross
March 5, 2025 06:37 9h 33m 2s master
master
March 5, 2025 06:37 9h 33m 2s
Parse various directives starting with . in intel syntax CI (Coq, Arch Linux) #560: Pull request #2030 synchronize by JasonGross
March 5, 2025 06:34 8h 54m 21s JasonGross:parse-directives
JasonGross:parse-directives
March 5, 2025 06:34 8h 54m 21s
Parse various directives starting with . in intel syntax CI (Coq, Arch Linux) #559: Pull request #2030 synchronize by JasonGross
March 5, 2025 06:33 4h 27m 21s JasonGross:parse-directives
JasonGross:parse-directives
March 5, 2025 06:33 4h 27m 21s
Parse various directives starting with . in intel syntax CI (Coq, Arch Linux) #558: Pull request #2030 synchronize by JasonGross
March 5, 2025 06:32 2h 25m 28s JasonGross:parse-directives
JasonGross:parse-directives
March 5, 2025 06:32 2h 25m 28s
Parse various directives starting with . in intel syntax CI (Coq, Arch Linux) #557: Pull request #2030 opened by JasonGross
March 5, 2025 06:30 1h 30m 56s JasonGross:parse-directives
JasonGross:parse-directives
March 5, 2025 06:30 1h 30m 56s
Handle rip-relative addressing CI (Coq, Arch Linux) #556: Pull request #2029 synchronize by JasonGross
March 5, 2025 06:21 6h 32m 32s JasonGross:parse-rip
JasonGross:parse-rip
March 5, 2025 06:21 6h 32m 32s
Parse label-based addressing CI (Coq, Arch Linux) #555: Pull request #2028 synchronize by JasonGross
March 5, 2025 06:20 5h 54m 45s JasonGross:parse-labels
JasonGross:parse-labels
March 5, 2025 06:20 5h 54m 45s
Handle rip-relative addressing CI (Coq, Arch Linux) #554: Pull request #2029 opened by JasonGross
March 5, 2025 06:08 3h 10m 52s JasonGross:parse-rip
JasonGross:parse-rip
March 5, 2025 06:08 3h 10m 52s
Parse label-based addressing CI (Coq, Arch Linux) #553: Pull request #2028 opened by JasonGross
March 5, 2025 04:49 3h 12m 5s JasonGross:parse-labels
JasonGross:parse-labels
March 5, 2025 04:49 3h 12m 5s
Add support for more assembly CI (Coq, Arch Linux) #552: Pull request #2016 synchronize by JasonGross
March 5, 2025 04:46 8h 20m 36s JasonGross:more-asm
JasonGross:more-asm
March 5, 2025 04:46 8h 20m 36s
Full timing diff for: Use Listable to prove equality of registers and… CI (Coq, Arch Linux) #551: Commit ee8fca9 pushed by JasonGross
March 5, 2025 04:28 11h 24m 46s master
master
March 5, 2025 04:28 11h 24m 46s
Use Listable to prove equality of registers and opcodes (#2020) CI (Coq, Arch Linux) #550: Commit e550a66 pushed by JasonGross
March 5, 2025 04:26 11h 22m 18s master
master
March 5, 2025 04:26 11h 22m 18s
Use Listable to prove equality of registers and opcodes CI (Coq, Arch Linux) #549: Pull request #2020 synchronize by JasonGross
March 5, 2025 04:25 8h 44m 19s JasonGross:rework-widest-register
JasonGross:rework-widest-register
March 5, 2025 04:25 8h 44m 19s
Adjust coq-timing-diff action CI (Coq, Arch Linux) #548: Commit d1e8f0b pushed by JasonGross
March 4, 2025 23:50 9h 39m 15s master
master
March 4, 2025 23:50 9h 39m 15s
Add support for parsing more assembly CI (Coq, Arch Linux) #547: Pull request #2027 synchronize by JasonGross
March 4, 2025 23:16 4h 52m 16s JasonGross:more-asm-opcode-parse
JasonGross:more-asm-opcode-parse
March 4, 2025 23:16 4h 52m 16s
Add support for parsing more assembly CI (Coq, Arch Linux) #546: Pull request #2027 opened by JasonGross
March 4, 2025 21:38 3h 23m 6s JasonGross:more-asm-opcode-parse
JasonGross:more-asm-opcode-parse
March 4, 2025 21:38 3h 23m 6s
Update coq-timing-diff.yml CI (Coq, Arch Linux) #545: Commit d3c2af5 pushed by JasonGross
March 4, 2025 21:34 7h 30m 59s master
master
March 4, 2025 21:34 7h 30m 59s
Bump etc/coq-scripts from bf7754a to fdfd924 (#2026) CI (Coq, Arch Linux) #544: Commit 77cdc00 pushed by JasonGross
March 4, 2025 21:20 7h 19m 55s master
master
March 4, 2025 21:20 7h 19m 55s