Skip to content

Actions: NikolajBjorner/ShonanArtOfSAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #12 from kfazekas/main Deploy Jekyll with GitHub Pages dependencies preinstalled #66: Commit c795091 pushed by NikolajBjorner
October 11, 2023 01:11 1m 34s main
main
October 11, 2023 01:11 1m 34s
Update program.md Deploy Jekyll with GitHub Pages dependencies preinstalled #65: Commit df9bab7 pushed by tterauchi
October 10, 2023 11:33 1m 17s main
main
October 10, 2023 11:33 1m 17s
Merge pull request #11 from kyrozier/patch-2 Deploy Jekyll with GitHub Pages dependencies preinstalled #64: Commit 0610f73 pushed by NikolajBjorner
October 9, 2023 11:48 1m 15s main
main
October 9, 2023 11:48 1m 15s