Skip to content

Actions: adampetcher/fcf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

do not depend on Coq.Bool.Bvector (#47) Docker CI #21: Commit d0f5432 pushed by adampetcher
April 18, 2024 12:19 5m 53s master
master
April 18, 2024 12:19 5m 53s
do not depend on Coq.Bool.Bvector Docker CI #20: Pull request #47 opened by andres-erbsen
April 15, 2024 19:28 5m 53s andres-erbsen:remove-Bvector
andres-erbsen:remove-Bvector
April 15, 2024 19:28 5m 53s
adapt to coq/coq#18729 (#46) Docker CI #19: Commit 291f500 pushed by adampetcher
February 29, 2024 17:01 5m 42s master
master
February 29, 2024 17:01 5m 42s
adapt to coq/coq#18729 Docker CI #18: Pull request #46 synchronize by andres-erbsen
February 28, 2024 23:22 5m 38s andres-erbsen:zify-nat-double-halve
andres-erbsen:zify-nat-double-halve
February 28, 2024 23:22 5m 38s
adapt to coq/coq#18729 Docker CI #17: Pull request #46 opened by andres-erbsen
February 28, 2024 23:00 5m 38s andres-erbsen:zify-nat-double-halve
andres-erbsen:zify-nat-double-halve
February 28, 2024 23:00 5m 38s
Adapt to Coq/Coq#18164 (#45) Docker CI #16: Commit f1bd5f3 pushed by adampetcher
November 3, 2023 21:33 8m 48s master
master
November 3, 2023 21:33 8m 48s
Adapt to Coq/Coq#18164 Docker CI #15: Pull request #45 opened by Villetaneuse
November 1, 2023 09:17 10m 38s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
November 1, 2023 09:17 10m 38s
Stop using auto with * in intuition (partial) (#44) Docker CI #14: Commit 7e1773e pushed by adampetcher
July 20, 2023 11:51 8m 45s master
master
July 20, 2023 11:51 8m 45s