Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, MacOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-macos.yml
875 workflow runs
875 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump coqprime from 845c00c to 09db3f8 CI (Coq, MacOS) #4724: Pull request #2006 opened by dependabot bot
January 16, 2025 08:33 3h 55m 9s dependabot/submodules/coqprime-09db3f8
dependabot/submodules/coqprime-09db3f8
January 16, 2025 08:33 3h 55m 9s
Bump etc/coq-scripts from 4327aa1 to bf7754a CI (Coq, MacOS) #4723: Pull request #2003 opened by dependabot bot
January 15, 2025 08:29 3h 23m 20s dependabot/submodules/etc/coq-scripts-bf7754a
dependabot/submodules/etc/coq-scripts-bf7754a
January 15, 2025 08:29 3h 23m 20s
Bump rewriter from 30c8507 to 69cccb7 CI (Coq, MacOS) #4722: Pull request #2002 opened by dependabot bot
January 15, 2025 08:29 3h 27m 53s dependabot/submodules/rewriter-69cccb7
dependabot/submodules/rewriter-69cccb7
January 15, 2025 08:29 3h 27m 53s
Bump etc/coq-scripts from 4327aa1 to 9479734 CI (Coq, MacOS) #4721: Pull request #2000 opened by dependabot bot
January 14, 2025 08:16 3h 22m 26s dependabot/submodules/etc/coq-scripts-9479734
dependabot/submodules/etc/coq-scripts-9479734
January 14, 2025 08:16 3h 22m 26s
Bump rewriter from 1e36197 to 30c8507 CI (Coq, MacOS) #4720: Pull request #1999 opened by dependabot bot
January 14, 2025 08:16 3h 27m 8s dependabot/submodules/rewriter-30c8507
dependabot/submodules/rewriter-30c8507
January 14, 2025 08:16 3h 27m 8s
Bump rupicola from 7c4588d to 24f4a75 CI (Coq, MacOS) #4719: Pull request #1998 opened by dependabot bot
January 6, 2025 08:18 3h 13m 10s dependabot/submodules/rupicola-24f4a75
dependabot/submodules/rupicola-24f4a75
January 6, 2025 08:18 3h 13m 10s
CI (Coq, MacOS) CI (Coq, MacOS) #4718: Scheduled
January 1, 2025 01:38 3h 34m 48s master
master
January 1, 2025 01:38 3h 34m 48s
Verified Bedrock2 code for Number-Theoretic Transform CI (Coq, MacOS) #4717: Pull request #1997 opened by atrieu
December 31, 2024 14:59 3h 31m 21s atrieu:NTT
atrieu:NTT
December 31, 2024 14:59 3h 31m 21s
Bump actions/setup-java from 4.5.0 to 4.6.0 CI (Coq, MacOS) #4716: Pull request #1996 opened by dependabot bot
December 18, 2024 04:33 4h 23m 22s dependabot/github_actions/actions/setup-java-4.6.0
dependabot/github_actions/actions/setup-java-4.6.0
December 18, 2024 04:33 4h 23m 22s
Bump rupicola from e7771d9 to 7c4588d CI (Coq, MacOS) #4715: Pull request #1995 opened by dependabot bot
December 10, 2024 15:14 3h 30m 1s dependabot/submodules/rupicola-7c4588d
dependabot/submodules/rupicola-7c4588d
December 10, 2024 15:14 3h 30m 1s
Bump rewriter from 8ab716a to 1e36197 CI (Coq, MacOS) #4714: Pull request #1994 opened by dependabot bot
December 6, 2024 08:19 2h 59m 8s dependabot/submodules/rewriter-1e36197
dependabot/submodules/rewriter-1e36197
December 6, 2024 08:19 2h 59m 8s
Adapt to https://github.com/coq/coq/pull/19530 (#1992) CI (Coq, MacOS) #4713: Commit 8eccaf2 pushed by JasonGross
December 5, 2024 13:16 3h 12m 46s master
master
December 5, 2024 13:16 3h 12m 46s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, MacOS) #4712: Pull request #1992 synchronize by JasonGross
December 5, 2024 07:32 4h 34m 18s proux01:stdlib_repo
proux01:stdlib_repo
December 5, 2024 07:32 4h 34m 18s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 CI (Coq, MacOS) #4711: Pull request #1991 synchronize by JasonGross
December 5, 2024 07:31 3h 47m 24s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
December 5, 2024 07:31 3h 47m 24s
drop support for macOS 12 CI (Coq, MacOS) #4710: Commit 781d047 pushed by JasonGross
December 5, 2024 07:27 3h 30m 2s master
master
December 5, 2024 07:27 3h 30m 2s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq, MacOS) #4709: Pull request #1992 opened by proux01
December 5, 2024 07:15 2h 14m 44s proux01:stdlib_repo
proux01:stdlib_repo
December 5, 2024 07:15 2h 14m 44s
Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 CI (Coq, MacOS) #4708: Pull request #1991 opened by dependabot bot
December 4, 2024 04:53 1h 45m 44s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.2
December 4, 2024 04:53 1h 45m 44s
CI (Coq, MacOS) CI (Coq, MacOS) #4707: Scheduled
December 1, 2024 01:51 3h 7m 22s master
master
December 1, 2024 01:51 3h 7m 22s
Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 CI (Coq, MacOS) #4706: Pull request #1990 opened by dependabot bot
November 29, 2024 04:22 3h 5m 12s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
November 29, 2024 04:22 3h 5m 12s
Work around issue with brew and opam (#1989) CI (Coq, MacOS) #4705: Commit a16b32f pushed by JasonGross
November 21, 2024 02:30 3h 8m 49s master
master
November 21, 2024 02:30 3h 8m 49s
[CI] [opam] [MacOS] fix kludge for pkg-conf CI (Coq, MacOS) #4704: Commit f6ce925 pushed by JasonGross
November 20, 2024 22:04 3h 33m 16s master
master
November 20, 2024 22:04 3h 33m 16s
Work around issue with brew and opam CI (Coq, MacOS) #4703: Pull request #1989 synchronize by JasonGross
November 20, 2024 22:03 3h 13m 21s fix-macos
fix-macos
November 20, 2024 22:03 3h 13m 21s
[CI] [opam] Work around MacOS / opam / brew issue CI (Coq, MacOS) #4702: Commit 78208bd pushed by JasonGross
November 20, 2024 19:33 1h 38m 11s master
master
November 20, 2024 19:33 1h 38m 11s
Work around issue with brew and opam CI (Coq, MacOS) #4701: Pull request #1989 opened by JasonGross
November 20, 2024 19:31 1h 39m 39s fix-macos
fix-macos
November 20, 2024 19:31 1h 39m 39s
Bump rewriter from edd0611 to 8ab716a (#1988) CI (Coq, MacOS) #4700: Commit c97b7a1 pushed by JasonGross
November 20, 2024 19:28 1h 42m 40s master
master
November 20, 2024 19:28 1h 42m 40s