Skip to content

Actions: gares/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

overlay CI #9: Commit 5d8c087 pushed by gares
July 15, 2024 14:41 5m 37s bench-demote
bench-demote
July 15, 2024 14:41 5m 37s
Update extra-dev/packages/coq-elpi/coq-elpi.dev/opam CI #8: Commit 30ef912 pushed by gares
June 26, 2024 19:58 2m 29s update-elpi-2
update-elpi-2
June 26, 2024 19:58 2m 29s
Merge branch 'master' into update-elpi-2 CI #7: Commit 8bfac97 pushed by gares
June 26, 2024 19:38 5m 27s update-elpi-2
update-elpi-2
June 26, 2024 19:38 5m 27s
update coq-elpi dev file CI #6: Commit 99e3843 pushed by gares
June 26, 2024 19:36 5m 45s update-elpi-2
update-elpi-2
June 26, 2024 19:36 5m 45s
revert hack have CI #5: Commit 8b6aae1 pushed by gares
January 16, 2024 14:20 5m 44s have
have
January 16, 2024 14:20 5m 44s
relax deps of ssr CI #4: Commit a5c1c7e pushed by gares
January 8, 2024 12:12 2m 37s have
have
January 8, 2024 12:12 2m 37s
rm other dev MC packages CI #3: Commit da76cb6 pushed by gares
January 8, 2024 09:52 2m 45s have
have
January 8, 2024 09:52 2m 45s
Merge pull request #2887 from palmskog/add-itauto-8.19 CI #2: Commit 2610d6e pushed by gares
January 6, 2024 13:14 5m 50s master
master
January 6, 2024 13:14 5m 50s
remove mc 1 CI #1: Commit ab0bd23 pushed by gares
January 5, 2024 20:41 5m 34s have
have
January 5, 2024 20:41 5m 34s