Skip to content

Actions: Trivaxy/VerifexPad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update example snippets Deploy frontend to GitHub Pages #64: Commit fdde8ff pushed by Trivaxy
1m 16s master
master
1m 16s
move workflow files to root Deploy frontend to GitHub Pages #63: Commit 6dc4ade pushed by Trivaxy
1m 15s master
master
1m 15s
move workflow files to root VerifexPad Backend Tests #1: Commit 6dc4ade pushed by Trivaxy
22s master
master
22s
introduce backend tests Deploy frontend to GitHub Pages #62: Commit 2b5ad0b pushed by Trivaxy
1m 18s master
master
1m 18s
basic anonymized logging Deploy frontend to GitHub Pages #61: Commit 216e08b pushed by Trivaxy
55s master
master
55s
normalize compiler repo link to use api.github.com/repos when recei… Deploy frontend to GitHub Pages #60: Commit 38a9469 pushed by Trivaxy
1m 8s master
master
1m 8s
make the backend automatically fetch the most recent compiler Deploy frontend to GitHub Pages #59: Commit b26f8a9 pushed by Trivaxy
56s master
master
56s
fix inconsistant code background colors Deploy frontend to GitHub Pages #58: Commit 6851f64 pushed by Trivaxy
1m 2s master
master
1m 2s
Update the reference Deploy frontend to GitHub Pages #57: Commit f3ca3af pushed by Trivaxy
58s master
master
58s
Merge branch 'master' of https://github.com/Trivaxy/VerifexPad Deploy frontend to GitHub Pages #56: Commit e80134a pushed by Trivaxy
1m 4s master
master
1m 4s
Propagate compiler errors when assembly missing Deploy frontend to GitHub Pages #55: Commit 20b8bb6 pushed by Trivaxy
56s master
master
56s
Replace firejail sandbox with Podman Deploy frontend to GitHub Pages #54: Commit 04c2bfb pushed by Trivaxy
1m 3s master
master
1m 3s
. Deploy frontend to GitHub Pages #53: Commit ffcdf8d pushed by Trivaxy
1m 0s master
master
1m 0s
try moving to bubblewrap Deploy frontend to GitHub Pages #52: Commit 54143e8 pushed by Trivaxy
59s master
master
59s
. Deploy frontend to GitHub Pages #51: Commit 5cec160 pushed by Trivaxy
58s master
master
58s
. Deploy frontend to GitHub Pages #50: Commit 3cfd1c2 pushed by Trivaxy
58s master
master
58s
. Deploy frontend to GitHub Pages #49: Commit fa95697 pushed by Trivaxy
58s master
master
58s
. Deploy frontend to GitHub Pages #48: Commit df0cf6a pushed by Trivaxy
54s master
master
54s
. Deploy frontend to GitHub Pages #47: Commit 8e81840 pushed by Trivaxy
54s master
master
54s
. Deploy frontend to GitHub Pages #46: Commit 0737ea9 pushed by Trivaxy
55s master
master
55s
. Deploy frontend to GitHub Pages #45: Commit a85d625 pushed by Trivaxy
59s master
master
59s
. Deploy frontend to GitHub Pages #44: Commit 469c2d8 pushed by Trivaxy
1m 5s master
master
1m 5s
. Deploy frontend to GitHub Pages #43: Commit a063498 pushed by Trivaxy
57s master
master
57s
. Deploy frontend to GitHub Pages #42: Commit cca1a6b pushed by Trivaxy
55s master
master
55s
. Deploy frontend to GitHub Pages #41: Commit ed61606 pushed by Trivaxy
54s master
master
54s