Public

Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

Actions

Workflows

CI

Continuous Integration workflow

Recent runs

Update dependencies

main • abc1234

6/1/2023, 10:15:00 AM

Add new API endpoints

feature/new-api • def5678

5/30/2023, 2:20:00 PM

Deploy

Deployment workflow

Recent runs

Update dependencies

main • abc1234

6/1/2023, 11:10:00 AM