Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
661 workflow runs
661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Qualify imports to disable race condition for opam builds MetaCoq CI #2456: Pull request #1001 opened by yforster
November 1, 2023 12:02 1h 11m 14s coq-8.17-race-condition
coq-8.17-race-condition
November 1, 2023 12:02 1h 11m 14s
Update coq 8.18 with commits from 8.17 MetaCoq CI #2455: Pull request #1000 synchronize by yforster
November 1, 2023 12:01 1h 4m 29s update-coq-8.18
update-coq-8.18
November 1, 2023 12:01 1h 4m 29s
eliminate race condition for opam compilation MetaCoq CI #2454: Commit d32cee6 pushed by yforster
November 1, 2023 12:01 1h 1m 15s update-coq-8.18
update-coq-8.18
November 1, 2023 12:01 1h 1m 15s
disable quick target in CI - it is not quicker MetaCoq CI #2453: Commit 6455ca3 pushed by yforster
November 1, 2023 12:00 1h 31m 43s coq-8.17-race-condition
coq-8.17-race-condition
November 1, 2023 12:00 1h 31m 43s
eliminate race condition for opam compilation MetaCoq CI #2452: Commit 018a348 pushed by yforster
November 1, 2023 11:59 1h 6m 27s coq-8.17-race-condition
coq-8.17-race-condition
November 1, 2023 11:59 1h 6m 27s
Update coq 8.18 with commits from 8.17 MetaCoq CI #2451: Pull request #1000 synchronize by yforster
November 1, 2023 09:56 1h 29m 24s update-coq-8.18
update-coq-8.18
November 1, 2023 09:56 1h 29m 24s
move implement_box_transformation to coq-malfunction MetaCoq CI #2450: Commit ed35e36 pushed by yforster
November 1, 2023 09:56 1h 19m 47s update-coq-8.18
update-coq-8.18
November 1, 2023 09:56 1h 19m 47s
move implement_box_transformation to coq-malfunction MetaCoq CI #2449: Commit f8aba7c pushed by yforster
November 1, 2023 09:56 23m 59s coq-8.17
coq-8.17
November 1, 2023 09:56 23m 59s
Update coq 8.18 with commits from 8.17 MetaCoq CI #2448: Pull request #1000 opened by yforster
November 1, 2023 09:54 2m 31s update-coq-8.18
update-coq-8.18
November 1, 2023 09:54 2m 31s
use names in EAst.t MetaCoq CI #2447: Commit 3f77e52 pushed by yforster
November 1, 2023 09:54 1h 24m 36s update-coq-8.18
update-coq-8.18
November 1, 2023 09:54 1h 24m 36s
Add a let in front of case in implement_box MetaCoq CI #2446: Pull request #999 opened by yforster
October 31, 2023 12:31 1h 7m 48s linear-case
linear-case
October 31, 2023 12:31 1h 7m 48s
Support primitive array terms MetaCoq CI #2445: Pull request #998 opened by mattam82
October 30, 2023 17:07 7m 56s primitive-arrays
primitive-arrays
October 30, 2023 17:07 7m 56s
Support primitive array terms MetaCoq CI #2444: Commit 8d05620 pushed by mattam82
October 30, 2023 17:04 7m 37s primitive-arrays
primitive-arrays
October 30, 2023 17:04 7m 37s
Merge pull request #997 from MetaCoq/use-names-in-EAst MetaCoq CI #2443: Commit 79f7454 pushed by tabareau
October 26, 2023 17:12 1h 20m 49s coq-8.17
coq-8.17
October 26, 2023 17:12 1h 20m 49s
use names in EAst.t MetaCoq CI #2442: Pull request #997 opened by tabareau
October 26, 2023 15:13 1h 18m 59s use-names-in-EAst
use-names-in-EAst
October 26, 2023 15:13 1h 18m 59s
use names in EAst.t MetaCoq CI #2441: Commit 18a24e5 pushed by tabareau
October 26, 2023 15:13 1h 10m 27s use-names-in-EAst
use-names-in-EAst
October 26, 2023 15:13 1h 10m 27s
move implement_box_transformation to coq-malfunction MetaCoq CI #2440: Commit bae9463 pushed by yforster
October 25, 2023 16:01 1h 36m 17s linear-case
linear-case
October 25, 2023 16:01 1h 36m 17s
add install-plugins target in Makefile MetaCoq CI #2439: Commit 105dba8 pushed by yforster
October 25, 2023 11:21 1h 36m 3s linear-case
linear-case
October 25, 2023 11:21 1h 36m 3s
Add quotation API for context and global_env_ext (#996) MetaCoq CI #2438: Commit 83aa0b0 pushed by JasonGross
October 19, 2023 19:04 59m 37s coq-8.18
coq-8.18
October 19, 2023 19:04 59m 37s
Add quotation API for context and global_env_ext MetaCoq CI #2437: Pull request #996 opened by JasonGross
October 18, 2023 02:50 58m 31s JasonGross:coq-8.18+more-quote-api
JasonGross:coq-8.18+more-quote-api
October 18, 2023 02:50 58m 31s
Replace elimtype False by exfalso (#995) MetaCoq CI #2436: Commit 64ce785 pushed by yforster
October 17, 2023 15:49 14m 51s main
main
October 17, 2023 15:49 14m 51s
Replace elimtype False by exfalso MetaCoq CI #2435: Pull request #995 synchronize by yforster
October 17, 2023 13:59 16m 32s main-elimtype
main-elimtype
October 17, 2023 13:59 16m 32s
remove nix again MetaCoq CI #2434: Commit 0de5f63 pushed by yforster
October 17, 2023 13:59 21m 49s main-elimtype
main-elimtype
October 17, 2023 13:59 21m 49s
Replace elimtype False by exfalso MetaCoq CI #2433: Pull request #995 synchronize by yforster
October 17, 2023 13:53 7m 3s main-elimtype
main-elimtype
October 17, 2023 13:53 7m 3s
revert opam to use Coq dev MetaCoq CI #2432: Commit 4de43a4 pushed by yforster
October 17, 2023 13:52 18m 59s main-elimtype
main-elimtype
October 17, 2023 13:52 18m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.