Skip to content
Oldest

Asmgenproof for PowerPC: ensure compatibility with old Coq versions #133

Sign in to view logs

Asmgenproof for PowerPC: ensure compatibility with old Coq versions

Asmgenproof for PowerPC: ensure compatibility with old Coq versions #133

Triggered via push August 18, 2026 12:44
@xavierleroyxavierleroy
pushed 1aa352b
master
Status Success
Total duration 8m 17s
Artifacts –

oldest.yml

on: push
Matrix: oldest
Fit to window
Zoom out
Zoom in