Skip to content

Actions: martinescardo/HoTTEST-Summer-School

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #81: by github-pages bot
October 18, 2023 13:58 36s
October 18, 2023 13:58 36s
Support Agda 2.6.3 (#53) Build #342: Commit 06dab2c pushed by plt-amy
October 18, 2023 13:56 1m 42s main
main
October 18, 2023 13:56 1m 42s
Support Agda 2.6.3 Build #341: Pull request #53 synchronize by plt-amy
October 18, 2023 13:53 1m 25s ncfavier:update-agda
ncfavier:update-agda
October 18, 2023 13:53 1m 25s
fixup: make everything check together Build #340: Commit 647f32f pushed by plt-amy
October 18, 2023 13:51 1m 14s ncfavier-update-agda
ncfavier-update-agda
October 18, 2023 13:51 1m 14s
Support Agda 2.6.3 Build #339: Pull request #53 opened by ncfavier
October 18, 2023 12:42 48s ncfavier:update-agda
ncfavier:update-agda
October 18, 2023 12:42 48s