CI (Coq, Arch Linux)

Adapt to coq/coq#19690 (Hint Extern follows proof mode) (#2058) #646

Sign in to view logs

Set up job

0s

Run echo 'build passed'

0s

Run echo 'test-standalone passed'

0s

Run echo 'publish-standalone-dry-run passed'

0s

Run echo 'build failed' && false

0s

Run echo 'test-standalone failed' && false

0s

Run echo 'publish-standalone-dry-run failed' && false

0s

Complete job

0s