Skip to content

Actions: TDiazT/metarocq

Actions

Nix CI for bundle rocq-dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1233 from thomas-lamiaux/adapt21498 Nix CI for bundle rocq-dev #4: Commit e8f8078 pushed by TDiazT
2h 32m 27s main
main
2h 32m 27s
Merge pull request #1231 from JasonGross/print-assumptions-list Nix CI for bundle rocq-dev #3: Commit 5544fb9 pushed by TDiazT
8m 27s main
main
8m 27s
Merge pull request #1229 from ppedrot/rm-pconstraints-contextset Nix CI for bundle rocq-dev #2: Commit 586fa69 pushed by TDiazT
2h 32m 52s main
main
2h 32m 52s
Merge pull request #1172 from jrosain/more-uniform-elimination Nix CI for bundle rocq-dev #1: Commit 5df889e pushed by TDiazT
12m 4s main
main
12m 4s