Skip to content

Actions: vprover/vampireGuide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
latest Build & Deploy (GitHub Pages) #18: Commit ad00010 pushed by jackeown
1m 2s main
main
1m 2s
latest Build & Deploy (GitHub Pages) #17: Commit 4d73938 pushed by jackeown
1m 11s main
main
1m 11s
latest Build & Deploy (GitHub Pages) #16: Commit ab18fa6 pushed by jackeown
1m 9s main
main
1m 9s
latest Build & Deploy (GitHub Pages) #15: Commit 8c1cb30 pushed by jackeown
10m 1s main
main
10m 1s
latest Build & Deploy (GitHub Pages) #14: Commit 56d26bc pushed by jackeown
8m 5s main
main
8m 5s
latest Build & Deploy (GitHub Pages) #13: Commit 55e9ad2 pushed by jackeown
8m 28s main
main
8m 28s
added exercises...hopefully correctly Build & Deploy (GitHub Pages) #12: Commit 356fd92 pushed by jackeown
8m 21s main
main
8m 21s
removed wasm errors from vampire output Build & Deploy (GitHub Pages) #11: Commit 754acca pushed by jackeown
8m 9s main
main
8m 9s
converted lecture contents and addedsyntax highlighting Build & Deploy (GitHub Pages) #10: Commit 49adf64 pushed by jackeown
7m 15s main
main
7m 15s
added lecture contents in LaTeX. I'll try to see if Copilot can autot… Build & Deploy (GitHub Pages) #9: Commit e94a05b pushed by jackeown
8m 4s main
main
8m 4s
added tptp syntax highlighting and made edit links work Build & Deploy (GitHub Pages) #8: Commit fec5e18 pushed by jackeown
7m 47s main
main
7m 47s
fixed config to link to real path to coi-serviceeworker.min.js Build & Deploy (GitHub Pages) #7: Commit 603260b pushed by jackeown
7m 59s main
main
7m 59s
trying to fix docusaurus Build & Deploy (GitHub Pages) #6: Commit d348a9a pushed by jackeown
7m 48s main
main
7m 48s
Update GitHub Actions workflow for Docusaurus site Build & Deploy (GitHub Pages) #5: Commit 5e5e459 pushed by jackeown
12s main
main
12s
docusaurus Build & Deploy (GitHub Pages) #4: Commit 55e6772 pushed by jackeown
7m 15s main
main
7m 15s
Update README.md Build & Deploy (GitHub Pages) #3: Commit 9e786a1 pushed by jackeown
7m 16s main
main
7m 16s
Update index.html Build & Deploy (GitHub Pages) #2: Commit 2a7fbfa pushed by jackeown
7m 35s main
main
7m 35s
Create pages.yml Build & Deploy (GitHub Pages) #1: Commit 7b8f458 pushed by jackeown
4m 32s main
main
4m 32s
pages build and deployment pages-build-deployment #6: by jackeown
37s main
main
37s
pages build and deployment pages-build-deployment #5: by jackeown
44s main
main
44s
pages build and deployment pages-build-deployment #4: by jackeown
39s main
main
39s
pages build and deployment pages-build-deployment #3: by jackeown
36s main
main
36s
pages build and deployment pages-build-deployment #2: by jackeown
34s main
main
34s
pages build and deployment pages-build-deployment #1: by jackeown
30s main
main
30s