Skip to content

Actions: GillianPlatform/GillianPlatform.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 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
API docs update from GillianPlatform/Gillian@feb04b868498248cde2bc627… Build and deploy to GitHub Pages #48: Commit 1fed398 pushed by NatKarmios
50s master
master
50s
API docs update from GillianPlatform/Gillian@a4353c48009bba14c8db9bb3… Build and deploy to GitHub Pages #47: Commit 110eb6e pushed by NatKarmios
54s master
master
54s
STandV: Update structure & lecture 2 slides Build and deploy to GitHub Pages #46: Commit 186bbda pushed by NatKarmios
50s master
master
50s
STandV: Add lecture 2 slides Build and deploy to GitHub Pages #45: Commit b6203aa pushed by NatKarmios
53s master
master
53s
STandV: Add lecture 1 slides Build and deploy to GitHub Pages #44: Commit 89e7d92 pushed by NatKarmios
43s master
master
43s
STandV: Structural update Build and deploy to GitHub Pages #43: Commit ad9c45d pushed by NatKarmios
46s master
master
46s
STandV: Initial copy from OPLSS Build and deploy to GitHub Pages #42: Commit a657a50 pushed by NatKarmios
47s master
master
47s
API docs update from GillianPlatform/Gillian@b195dfc39a99d98f4d3c2925… Build and deploy to GitHub Pages #41: Commit b5dface pushed by NatKarmios
45s master
master
45s
API docs update from GillianPlatform/Gillian@7887daf2a22616a74bd9a60f… Build and deploy to GitHub Pages #40: Commit 2ca90b5 pushed by NatKarmios
1m 47s master
master
1m 47s
API docs update from GillianPlatform/Gillian@fb98b3dfe324a2d28d6c045f… Build and deploy to GitHub Pages #39: Commit c9877a5 pushed by NatKarmios
1m 29s master
master
1m 29s
API docs update from GillianPlatform/Gillian@f5162873dcc64aa5e974999b… Build and deploy to GitHub Pages #38: Commit d1d5712 pushed by NatKarmios
52s master
master
52s
OPLSS: Add lecture 4 slides Build and deploy to GitHub Pages #37: Commit 3cb771a pushed by NatKarmios
45s master
master
45s
OPLSS: Add Nat's demo Build and deploy to GitHub Pages #36: Commit 086b7cf pushed by NatKarmios
45s master
master
45s
OPLSS: Replace Diego demo link Build and deploy to GitHub Pages #35: Commit f2eb41b pushed by NatKarmios
47s master
master
47s
OPLSS: Link to Diego's demo Build and deploy to GitHub Pages #34: Commit 10fcc94 pushed by NatKarmios
49s master
master
49s
OPLSS: Add lecture 3 slides Build and deploy to GitHub Pages #33: Commit 0b47eba pushed by NatKarmios
52s master
master
52s
OPLSS: Add lecture 2 slides Build and deploy to GitHub Pages #32: Commit 8912efe pushed by NatKarmios
6m 30s master
master
6m 30s
API docs update from GillianPlatform/Gillian@008bebe0759f742c124d39fc… Build and deploy to GitHub Pages #31: Commit e7fa502 pushed by NatKarmios
3m 17s master
master
3m 17s
OPLSS: Remove broken lecure slide links Build and deploy to GitHub Pages #30: Commit 7562918 pushed by NatKarmios
1m 10s master
master
1m 10s
OPLSS: Add CC SLL exercise Build and deploy to GitHub Pages #29: Commit 5a54e6a pushed by NatKarmios
1m 4s master
master
1m 4s
Update lab instructions Build and deploy to GitHub Pages #28: Commit 1ce1ed0 pushed by NatKarmios
48s master
master
48s
OPLSS: Update lecture 1 and Simon's taster link Build and deploy to GitHub Pages #27: Commit ea18a9e pushed by NatKarmios
1m 27s master
master
1m 27s
Link Simon's video Build and deploy to GitHub Pages #26: Commit e13f15e pushed by NatKarmios
45s master
master
45s
OPLSS Build and deploy to GitHub Pages #25: Commit f50f642 pushed by NatKarmios
48s master
master
48s
Update files Build and deploy to GitHub Pages #24: Commit 4521455 pushed by NatKarmios
3m 50s master
master
3m 50s