Skip to content

Actions: mit-plv/bbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #46: Pull request #51 opened by proux01
September 17, 2024 09:42 1m 49s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 09:42 1m 49s
Merge pull request #49 from andres-erbsen/zify-nat-by-default CI (Coq) #45: Commit c53d5b9 pushed by samuelgruetter
March 7, 2024 16:56 1m 12s v1.5
v1.5
March 7, 2024 16:56 1m 12s
Merge pull request #49 from andres-erbsen/zify-nat-by-default CI (Coq) #44: Commit c53d5b9 pushed by andres-erbsen
February 28, 2024 23:14 1m 15s master
master
February 28, 2024 23:14 1m 15s
adapt to coq/coq#18730 CI (Coq) #43: Pull request #49 opened by andres-erbsen
February 28, 2024 23:06 1m 21s andres-erbsen:zify-nat-by-default
andres-erbsen:zify-nat-by-default
February 28, 2024 23:06 1m 21s
Merge pull request #47 from Villetaneuse/rm_arith_files_coq_819 CI (Coq) #42: Commit f4caa05 pushed by samuelgruetter
October 19, 2023 15:40 1m 48s master
master
October 19, 2023 15:40 1m 48s
Remove deprecated files in Coq.Arith CI (Coq) #41: Pull request #47 synchronize by Villetaneuse
October 19, 2023 05:15 1m 48s Villetaneuse:rm_arith_files_coq_819
Villetaneuse:rm_arith_files_coq_819
October 19, 2023 05:15 1m 48s
8.18 is not yet in the ppa CI (Coq) #40: Commit 0e391b2 pushed by samuelgruetter
October 18, 2023 22:25 1m 44s v1.4
v1.4
October 18, 2023 22:25 1m 44s
8.18 is not yet in the ppa CI (Coq) #39: Commit 0e391b2 pushed by samuelgruetter
October 18, 2023 17:03 2m 1s master
master
October 18, 2023 17:03 2m 1s
update coq versions used on CI CI (Coq) #38: Commit f323750 pushed by samuelgruetter
October 18, 2023 16:05 2m 2s update_ci_versions
update_ci_versions
October 18, 2023 16:05 2m 2s
Remove deprecated files in Coq.Arith CI (Coq) #37: Pull request #47 opened by Villetaneuse
October 16, 2023 08:13 1m 30s Villetaneuse:rm_arith_files_coq_819
Villetaneuse:rm_arith_files_coq_819
October 16, 2023 08:13 1m 30s