Workflow runs · Matherunner/hldoc · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

14 workflow runs

14 workflow runs

Fix typos Build and Deploy #14: Commit f80327e pushed by Matherunner

51s master

master

51s

Fix xref Build and Deploy #13: Commit 690a5d5 pushed by Matherunner

45s master

master

45s

Update key state Build and Deploy #12: Commit 4935e38 pushed by Matherunner

54s master

master

54s

Rephrasing index Build and Deploy #11: Commit 99ee402 pushed by Matherunner

53s master

master

53s

Add some proofs Build and Deploy #10: Commit d4343d2 pushed by Matherunner

51s master

master

51s

Fix colours and spacing Build and Deploy #9: Commit ff914eb pushed by Matherunner

55s master

master

55s

Merge pull request #20 from Matherunner/fix-ci Build and Deploy #8: Commit e38b36a pushed by Matherunner

57s master

master

57s

Fix batch link Build and Deploy #7: Commit ef5c0ec pushed by Matherunner

58s fix-ci

fix-ci

58s

Update CI Build and Deploy #6: Commit 579ca1e pushed by Matherunner

58s fix-ci

fix-ci

58s

Add --delete flag Build and Deploy #5: Commit 836ab94 pushed by Matherunner

14s fix-ci

fix-ci

14s

Add id-token permission Build and Deploy #4: Commit a523882 pushed by Matherunner

23s fix-ci

fix-ci

23s

Update CI Build and Deploy #3: Commit 7f94038 pushed by Matherunner

50s fix-ci

fix-ci

50s

Fix CI Build and Deploy #2: Commit 3c28439 pushed by Matherunner

47s fix-ci

fix-ci

47s

Add github action Build and Deploy #1: Commit feb5849 pushed by Matherunner

22s fix-ci

fix-ci

22s