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
294 workflow run results
294 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq, opam) CI (Coq, opam) #796: Scheduled
January 1, 2024 01:11 1h 34m 59s master
master
January 1, 2024 01:11 1h 34m 59s
Fix nested unordered lists in README.md (#1804) CI (Coq, opam) #795: Commit 0c75878 pushed by JasonGross
December 31, 2023 18:13 1h 33m 53s master
master
December 31, 2023 18:13 1h 33m 53s
Add ArchLinux CI badge to README CI (Coq, opam) #794: Commit d9dc316 pushed by JasonGross
December 30, 2023 02:40 1h 35m 40s master
master
December 30, 2023 02:40 1h 35m 40s
Downgrade actions/{download,upload}-artifact 4=>3 (#1802) CI (Coq, opam) #793: Commit 315fa41 pushed by JasonGross
December 27, 2023 00:08 1h 33m 38s master
master
December 27, 2023 00:08 1h 33m 38s
Revert "Bump actions/download-artifact and actions/upload-artifact fr… CI (Coq, opam) #792: Commit 4a84981 pushed by JasonGross
December 26, 2023 00:30 1h 35m 31s master
master
December 26, 2023 00:30 1h 35m 31s
Bump rewriter from 0388980 to c0328db (#1799) CI (Coq, opam) #791: Commit a6e57ba pushed by JasonGross
December 25, 2023 20:53 1h 34m 51s master
master
December 25, 2023 20:53 1h 34m 51s
[CI] Add Arch Linux test (#1788) CI (Coq, opam) #790: Commit 4dd29f6 pushed by JasonGross
December 25, 2023 08:37 1h 35m 0s master
master
December 25, 2023 08:37 1h 35m 0s
[CI] Add ocamlfind printconf destdir to system config description CI (Coq, opam) #789: Commit 8b1a78c pushed by JasonGross
December 25, 2023 02:14 2h 2m 14s master
master
December 25, 2023 02:14 2h 2m 14s
Bump rewriter from f7e3fe5 to 0388980 (#1795) CI (Coq, opam) #788: Commit 8f9323e pushed by dependabot bot
December 24, 2023 11:01 2h 19m 57s master
master
December 24, 2023 11:01 2h 19m 57s
Bump etc/coq-scripts from d3dc888 to 7b54b75 (#1794) CI (Coq, opam) #787: Commit 50f60fe pushed by dependabot bot
December 24, 2023 10:02 1h 54m 19s master
master
December 24, 2023 10:02 1h 54m 19s
Better describe-system-config CI (Coq, opam) #786: Commit f0e23a8 pushed by JasonGross
December 24, 2023 01:06 2h 11m 30s master
master
December 24, 2023 01:06 2h 11m 30s
Bump rewriter from 4bece97 to f7e3fe5 (#1792) CI (Coq, opam) #785: Commit 4bc09c0 pushed by dependabot bot
December 23, 2023 12:27 1h 33m 48s master
master
December 23, 2023 12:27 1h 33m 48s
Bump rewriter from 90549d8 to 4bece97 (#1791) CI (Coq, opam) #784: Commit 93faeb3 pushed by dependabot bot
December 23, 2023 07:42 1h 34m 18s master
master
December 23, 2023 07:42 1h 34m 18s
Bump actions/download-artifact and actions/upload-artifact from 3 to … CI (Coq, opam) #783: Commit 723baac pushed by JasonGross
December 16, 2023 21:48 1h 34m 33s master
master
December 16, 2023 21:48 1h 34m 33s
Augment rewrite rule proving tactics for saturated arithmetic (#1783) CI (Coq, opam) #782: Commit a407ad0 pushed by JasonGross
December 10, 2023 07:44 1h 35m 27s master
master
December 10, 2023 07:44 1h 35m 27s
Add prod_rect rewrite rule for saturated arithmetic (#1780) CI (Coq, opam) #781: Commit 2964ff0 pushed by JasonGross
December 9, 2023 10:27 1h 40m 34s master
master
December 9, 2023 10:27 1h 40m 34s
Bump rewriter from 22162aa to 90549d8 (#1782) CI (Coq, opam) #780: Commit 864ea40 pushed by JasonGross
December 9, 2023 10:01 1h 34m 2s master
master
December 9, 2023 10:01 1h 34m 2s
Bump rewriter from 3a0a5f7 to 22162aa (#1781) CI (Coq, opam) #779: Commit da145e5 pushed by JasonGross
December 9, 2023 05:07 1h 33m 56s master
master
December 9, 2023 05:07 1h 33m 56s
Allow leaving over shelved goals when debugging cache_term (#1779) CI (Coq, opam) #778: Commit 3882df9 pushed by JasonGross
December 9, 2023 02:21 1h 34m 54s master
master
December 9, 2023 02:21 1h 34m 54s
Add typeof! to Notations.v (#1775) CI (Coq, opam) #777: Commit 652fc80 pushed by JasonGross
December 8, 2023 08:24 2h 10m 5s master
master
December 8, 2023 08:24 2h 10m 5s
Merge pull request #1774 from JasonGross/saturated-solinas-idents-more CI (Coq, opam) #776: Commit 7c7c435 pushed by JasonGross
December 8, 2023 07:12 2h 24m 52s master
master
December 8, 2023 07:12 2h 24m 52s
Bump rewriter from 026f87b to 3a0a5f7 (#1776) CI (Coq, opam) #775: Commit 0c66069 pushed by JasonGross
December 8, 2023 04:40 2h 6m 36s master
master
December 8, 2023 04:40 2h 6m 36s
Add more identifiers for saturated solinas (#1773) CI (Coq, opam) #774: Commit d839f89 pushed by JasonGross
December 7, 2023 20:28 1h 33m 26s master
master
December 7, 2023 20:28 1h 33m 26s
Bump actions/setup-python from 4 to 5 (#1771) CI (Coq, opam) #773: Commit 612f675 pushed by JasonGross
December 6, 2023 21:26 2h 4m 49s master
master
December 6, 2023 21:26 2h 4m 49s
Bump actions/setup-go from 4 to 5 (#1772) CI (Coq, opam) #772: Commit f1c52ad pushed by JasonGross
December 6, 2023 20:49 1h 33m 39s master
master
December 6, 2023 20:49 1h 33m 39s