Skip to content

Actions: jbdoderlein/BetterOCaml

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add loading from url
Deploy static content to Pages #5: Commit 188e2af pushed by jbdoderlein
December 7, 2024 13:50 25s master
December 7, 2024 13:50 25s
Merge pull request #78 from Naereen/patch-5
Deploy static content to Pages #4: Commit 591d4d8 pushed by jbdoderlein
September 11, 2024 18:09 27s master
September 11, 2024 18:09 27s
Remove deprecated DOMNodeInserted
Deploy static content to Pages #3: Commit b827eb2 pushed by jbdoderlein
September 10, 2024 13:12 32s master
September 10, 2024 13:12 32s
CI Push
CI Push #21: Manually run by jbdoderlein
April 3, 2024 13:39 9m 47s master
April 3, 2024 13:39 9m 47s
CI Push
CI Push #20: Manually run by jbdoderlein
April 3, 2024 13:26 36s master
April 3, 2024 13:26 36s
update CI files
Deploy static content to Pages #2: Commit 0f52f5d pushed by jbdoderlein
April 3, 2024 13:24 47s master
April 3, 2024 13:24 47s
Create static.yml
Deploy static content to Pages #1: Commit 7ae4697 pushed by jbdoderlein
April 3, 2024 13:16 1m 10s master
April 3, 2024 13:16 1m 10s
CI Push
CI Push #19: Manually run by jbdoderlein
April 3, 2024 13:15 48s master
April 3, 2024 13:15 48s
Merge pull request #75 from AlexisHamon/main
CI Push #18: Commit 8d77cd2 pushed by jbdoderlein
March 24, 2024 14:41 7d 8h 19m 42s master
March 24, 2024 14:41 7d 8h 19m 42s
March 23, 2024 23:21 1d 7h 51m 58s
Merge pull request #74 from AlexisHamon/main
CI Push #17: Commit ee4286f pushed by jbdoderlein
March 21, 2024 15:14 2d 6h 31m 56s master
March 21, 2024 15:14 2d 6h 31m 56s
Fix next line matching
CD #53: Commit 33e8974 pushed by jbdoderlein
March 21, 2024 15:13 32s master
March 21, 2024 15:13 32s
Fix next line matching
CI Push #16: Commit 33e8974 pushed by jbdoderlein
March 21, 2024 15:13 2d 6h 32m 37s master
March 21, 2024 15:13 2d 6h 32m 37s
Update README
CI Push #15: Commit e6ab7ae pushed by jbdoderlein
February 28, 2024 18:18 21d 20h 55m 47s master
February 28, 2024 18:18 21d 20h 55m 47s
Update README
CD #52: Commit e6ab7ae pushed by jbdoderlein
February 28, 2024 18:18 20s master
February 28, 2024 18:18 20s