Skip to content

Actions: Coq-Polyhedra/order

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup .github/workflows/ci.yml #136: Commit 123cfd2 pushed by pi8027
June 27, 2024 13:53 1m 55s refactor
refactor
June 27, 2024 13:53 1m 55s
- .github/workflows/ci.yml #135: Commit 637e362 pushed by nhojem
June 24, 2024 09:55 1m 33s refactor
refactor
June 24, 2024 09:55 1m 33s
Progress w/ KS. .github/workflows/ci.yml #134: Commit e970883 pushed by nhojem
June 24, 2024 09:55 1m 35s refactor
refactor
June 24, 2024 09:55 1m 35s
WIP. .github/workflows/ci.yml #133: Commit ee87678 pushed by nhojem
June 17, 2024 10:00 1m 35s refactor
refactor
June 17, 2024 10:00 1m 35s
Done up to the FinLatticeTheory section .github/workflows/ci.yml #132: Commit e383c00 pushed by pi8027
June 17, 2024 08:43 1m 31s refactor
refactor
June 17, 2024 08:43 1m 31s
Progress .github/workflows/ci.yml #131: Commit b274d05 pushed by pi8027
June 14, 2024 14:23 1m 35s refactor
refactor
June 14, 2024 14:23 1m 35s
continuing porting finlattice .github/workflows/ci.yml #130: Commit 9bb2e31 pushed by CohenCyril
June 14, 2024 10:18 1m 35s refactor
refactor
June 14, 2024 10:18 1m 35s
continuing porting finlattice .github/workflows/ci.yml #129: Commit ad66eaa pushed by CohenCyril
June 14, 2024 10:15 1m 36s refactor
refactor
June 14, 2024 10:15 1m 36s
nix config file .github/workflows/ci.yml #128: Commit d486a29 pushed by CohenCyril
June 14, 2024 09:26 1m 35s refactor
refactor
June 14, 2024 09:26 1m 35s
nix config file .github/workflows/ci.yml #127: Commit ccebf0c pushed by CohenCyril
June 14, 2024 09:12 1m 28s refactor
refactor
June 14, 2024 09:12 1m 28s
nix config file .github/workflows/ci.yml #126: Commit f668607 pushed by CohenCyril
June 14, 2024 09:10 1m 35s refactor
refactor
June 14, 2024 09:10 1m 35s
- .github/workflows/ci.yml #125: Commit 3fdab05 pushed by nhojem
April 3, 2024 13:14 1m 54s HB
HB
April 3, 2024 13:14 1m 54s
- .github/workflows/ci.yml #124: Commit f78fa8b pushed by nhojem
April 2, 2024 14:04 2m 9s HB
HB
April 2, 2024 14:04 2m 9s
Preparing port to HB. .github/workflows/ci.yml #123: Commit 9a48974 pushed by nhojem
April 2, 2024 12:28 1m 40s HB
HB
April 2, 2024 12:28 1m 40s