.github/workflows/build.yml

Merge pull request #250 from SIGPLAN-Glueten/master #386

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 13, 2024 21:11

sampsyo

master

Status Success

Total duration 2m 51s

Artifacts –

build.yml

on: push