GitHub Pages

metals: enable best effort compilation (#26) #131

Sign in to view logs

Summary
Jobs
- publish
Run details
- Usage
- Workflow file

Triggered via push November 30, 2024 14:36

gvolpe

main

Status Success

Total duration 37s

Artifacts –

github_pages.yml

on: push