Skip to content

Actions: AmpersandTarski/Ampersand

Actions

Trigger Documentation Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
triggerDocsUpdate.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'documentation' Trigger Documentation Update #267: Commit c7c43b6 pushed by hanjoosten
December 3, 2024 06:40 15s main
main
December 3, 2024 06:40 15s
Minor layout things Trigger Documentation Update #266: Commit d5f2344 pushed by hanjoosten
December 3, 2024 06:39 13s documentation
documentation
December 3, 2024 06:39 13s
finally right Trigger Documentation Update #265: Commit 781f905 pushed by hanjoosten
December 2, 2024 23:33 10s documentation
documentation
December 2, 2024 23:33 10s
fiddling with math some more Trigger Documentation Update #264: Commit 00bc779 pushed by hanjoosten
December 2, 2024 23:28 10s documentation
documentation
December 2, 2024 23:28 10s
fix info Trigger Documentation Update #263: Commit 5677918 pushed by hanjoosten
December 2, 2024 18:00 57s documentation
documentation
December 2, 2024 18:00 57s
math and markdown issues Trigger Documentation Update #262: Commit 6b7c505 pushed by hanjoosten
December 2, 2024 17:57 10s documentation
documentation
December 2, 2024 17:57 10s
documentation on hashtag operator Trigger Documentation Update #261: Commit f356dcc pushed by hanjoosten
December 2, 2024 17:50 13s documentation
documentation
December 2, 2024 17:50 13s
fix mistake about cartesian product Trigger Documentation Update #260: Commit a708ffd pushed by stefjoosten
December 2, 2024 07:55 11s documentation
documentation
December 2, 2024 07:55 11s
add a paper to the scientific publications Trigger Documentation Update #259: Commit f70a786 pushed by stefjoosten
November 23, 2024 13:31 59s documentation
documentation
November 23, 2024 13:31 59s
Merge pull request #1521 from AmpersandTarski/RieksJ-patch-1 Trigger Documentation Update #258: Commit ccebce8 pushed by hanjoosten
November 10, 2024 14:55 12s documentation
documentation
November 10, 2024 14:55 12s
Merge pull request #1521 from AmpersandTarski/RieksJ-patch-1 Trigger Documentation Update #257: Commit ccebce8 pushed by hanjoosten
October 29, 2024 17:49 10s main
main
October 29, 2024 17:49 10s
Merge branch 'main' into documentation Trigger Documentation Update #256: Commit ab989d0 pushed by hanjoosten
October 18, 2024 09:53 8s main
main
October 18, 2024 09:53 8s
Merge branch 'main' into documentation Trigger Documentation Update #255: Commit ab989d0 pushed by hanjoosten
October 18, 2024 09:52 11s documentation
documentation
October 18, 2024 09:52 11s
Merge pull request #1513 from AmpersandTarski/feature-transitive-clos… Trigger Documentation Update #254: Commit 2a9815f pushed by hanjoosten
October 17, 2024 18:19 16s main
main
October 17, 2024 18:19 16s
changing documentation Trigger Documentation Update #253: Commit 053e9b8 pushed by stefjoosten
October 17, 2024 15:20 47s documentation
documentation
October 17, 2024 15:20 47s
Merge branch 'documentation' into main Trigger Documentation Update #252: Commit fadaf39 pushed by hanjoosten
October 15, 2024 21:26 17s main
main
October 15, 2024 21:26 17s
remove last remains of gitbook pointers Trigger Documentation Update #251: Commit b6c246a pushed by hanjoosten
October 15, 2024 05:42 12s documentation
documentation
October 15, 2024 05:42 12s
Merge branch 'main' into documentation Trigger Documentation Update #250: Commit eea4d9c pushed by hanjoosten
September 30, 2024 17:15 9s main
main
September 30, 2024 17:15 9s
Merge branch 'main' into documentation Trigger Documentation Update #249: Commit eea4d9c pushed by hanjoosten
September 30, 2024 17:15 12s documentation
documentation
September 30, 2024 17:15 12s
Merge pull request #1503 from AmpersandTarski/atlas-import-better-errors Trigger Documentation Update #248: Commit a218f30 pushed by hanjoosten
September 6, 2024 14:06 13s main
main
September 6, 2024 14:06 13s
fix pipeline Trigger Documentation Update #247: Commit b35597e pushed by stefjoosten
August 17, 2024 07:04 10s documentation
documentation
August 17, 2024 07:04 10s
add a general intro to include later Trigger Documentation Update #246: Commit 7599e5c pushed by stefjoosten
August 15, 2024 09:48 13s documentation
documentation
August 15, 2024 09:48 13s
WIP Trigger Documentation Update #245: Commit 2dedb5a pushed by stefjoosten
August 15, 2024 09:46 14s documentation
documentation
August 15, 2024 09:46 14s
Merge branch 'documentation' into main Trigger Documentation Update #244: Commit e26c033 pushed by hanjoosten
August 13, 2024 14:02 13s main
main
August 13, 2024 14:02 13s
Remove old gitbook stuff Trigger Documentation Update #243: Commit 3e89b82 pushed by hanjoosten
August 12, 2024 21:14 9s documentation
documentation
August 12, 2024 21:14 9s