Skip to content

Actions: Kermit-UGent/ModSim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
550 workflow runs
550 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
pages build and deployment pages-build-deployment #49: by github-pages Bot
10m 56s gh-pages
gh-pages
10m 56s
Wclaer/resync site Check notebooks #298: Pull request #81 synchronize by wclaerhout
44m 44s wclaer/resync-site
wclaer/resync-site
44m 44s
Wclaer/resync site Export Pluto notebooks & Deploy #251: Pull request #81 synchronize by wclaerhout
12m 35s wclaer/resync-site
wclaer/resync-site
12m 35s
Disabling binder for now Check notebooks #297: Commit 9c305c5 pushed by wclaerhout
50m 46s wclaer/resync-site
wclaer/resync-site
50m 46s
pages build and deployment pages-build-deployment #48: by github-pages Bot
10m 44s gh-pages
gh-pages
10m 44s
Wclaer/resync site Export Pluto notebooks & Deploy #250: Pull request #81 synchronize by wclaerhout
19m 9s wclaer/resync-site
wclaer/resync-site
19m 9s
Wclaer/resync site Check notebooks #296: Pull request #81 synchronize by wclaerhout
43m 4s wclaer/resync-site
wclaer/resync-site
43m 4s
Turning binder off for now, it breaks when trying to run it Check notebooks #295: Commit 642d70a pushed by wclaerhout
50m 50s wclaer/resync-site
wclaer/resync-site
50m 50s
pages build and deployment pages-build-deployment #47: by github-pages Bot
5m 20s gh-pages
gh-pages
5m 20s
Wclaer/resync site Check notebooks #294: Pull request #81 synchronize by wclaerhout
46m 26s wclaer/resync-site
wclaer/resync-site
46m 26s
Wclaer/resync site Export Pluto notebooks & Deploy #249: Pull request #81 synchronize by wclaerhout
13m 15s wclaer/resync-site
wclaer/resync-site
13m 15s
Ignore local build artifacts Check notebooks #293: Commit 51b044e pushed by wclaerhout
46m 28s wclaer/resync-site
wclaer/resync-site
46m 28s
pages build and deployment pages-build-deployment #46: by github-pages Bot
52s gh-pages
gh-pages
52s
Guard the notebook cache: pin Pluto, fail fast on drift, document it Check notebooks #292: Pull request #82 synchronize by DaanVanHauwermeiren
46m 39s dvh/resync-site
dvh/resync-site
46m 39s
build: pin .jl to LF so the cache survives a Windows checkout Check notebooks #291: Commit 4648409 pushed by DaanVanHauwermeiren
36m 27s dvh/resync-site
dvh/resync-site
36m 27s
Guard the notebook cache: pin Pluto, fail fast on drift, document it Export Pluto notebooks & Deploy #248: Pull request #82 opened by DaanVanHauwermeiren
18m 37s dvh/resync-site
dvh/resync-site
18m 37s
Guard the notebook cache: pin Pluto, fail fast on drift, document it PR Comment #59: Pull request #82 opened by DaanVanHauwermeiren
16s dvh/resync-site
dvh/resync-site
16s
Guard the notebook cache: pin Pluto, fail fast on drift, document it Check notebooks #290: Pull request #82 opened by DaanVanHauwermeiren
46m 24s dvh/resync-site
dvh/resync-site
46m 24s
docs: document the _cache maintenance contract Check notebooks #289: Commit 8052486 pushed by DaanVanHauwermeiren
47m 12s dvh/resync-site
dvh/resync-site
47m 12s
Wclaer/resync site Export Pluto notebooks & Deploy #247: Pull request #81 synchronize by wclaerhout
13m 15s wclaer/resync-site
wclaer/resync-site
13m 15s
Wclaer/resync site Check notebooks #288: Pull request #81 synchronize by wclaerhout
51m 41s wclaer/resync-site
wclaer/resync-site
51m 41s
Update .gitignore with additional patterns Check notebooks #287: Commit 61ad2a9 pushed by wclaerhout
36m 38s wclaer/resync-site
wclaer/resync-site
36m 38s
pages build and deployment pages-build-deployment #45: by github-pages Bot
1m 51s gh-pages
gh-pages
1m 51s
Wclaer/resync site Export Pluto notebooks & Deploy #246: Pull request #81 synchronize by wclaerhout
19m 7s wclaer/resync-site
wclaer/resync-site
19m 7s
Wclaer/resync site Check notebooks #286: Pull request #81 synchronize by wclaerhout
51m 12s wclaer/resync-site
wclaer/resync-site
51m 12s